[m-dev.] diff: document fact_table.m

[David Overton]

Estimated hours taken: 0.25

compiler/notes/compiler_design.html:
	Document fact_table.m.

Index: compiler_design.html
===================================================================
RCS file: /home/staff/zs/imp/mercury/compiler/notes/compiler_design.html,v
retrieving revision 1.30
diff -u -r1.30 compiler_design.html
--- compiler_design.html	1999/07/13 02:26:03	1.30
+++ compiler_design.html	1999/07/13 02:53:01
@@ -156,8 +156,13 @@
 
 	make_hlds.m transforms the code into superhomogeneous form,
 	and at the same time converts the parse tree into the HLDS.
-	It converts `pragma import' and `pragma c_code' declarations
-	into clauses with HLDS `pragma_c_code' instructions for bodies.
+	It converts `pragma import', `pragma c_code' and `pragma fact_table'
+	declarations into clauses with HLDS `pragma_c_code'
+	instructions for bodies.
+	The `pragma fact_table' conversion is done by calling fact_table.m
+	which also reads the facts from the declared file and compiles them
+	into a separate C file for which the `pragma_c_code' contains lookup
+	code.
 	make_hlds.m also calls make_tags.m which chooses the data
 	representation for each discriminated union type by
 	assigning tags to each functor.
-- 
David Overton       Department of Computer Science & Software Engineering
MEngSc Student      The University of Melbourne, Australia
+61 3 9344 9159     http://www.cs.mu.oz.au/~dmo
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------