[m-dev.] trivial diff: update comments in ml_code_gen.m

Fergus Henderson fjh at cs.mu.OZ.AU
Fri Feb 18 01:52:03 AEDT 2000


compiler/ml_code_gen.m:
	Update the TODO list.
	Fix some typos in the comments.

Workspace: /d-drive/home/hg/fjh/mercury
Index: compiler/ml_code_gen.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/ml_code_gen.m,v
retrieving revision 1.28
diff -u -d -r1.28 ml_code_gen.m
--- compiler/ml_code_gen.m	2000/02/08 16:01:07	1.28
+++ compiler/ml_code_gen.m	2000/02/17 14:48:10
@@ -90,14 +90,14 @@
 %		bool succeeded;
 %
 %		<do Goal>
-%		succeeded = TRUE
+%		succeeded = TRUE;
 %	}
 
 %	det goal in nondet context:
 %		<Goal && SUCCEED()>
 %	===>
 %		<do Goal>
-%		SUCCEED()
+%		SUCCEED();
 
 %	semi goal in nondet context:
 %		<Goal && SUCCEED()>
@@ -106,7 +106,7 @@
 %		bool succeeded;
 %	
 %		<succeeded = Goal>
-%		if (succeeded) SUCCEED()
+%		if (succeeded) SUCCEED();
 %	}
 
 %-----------------------------------------------------------------------------%
@@ -564,10 +564,11 @@
 %		- switches
 %		- commits
 % TODO:
-%	- type_infos
-%	- c_code pragmas
+%	- `pragma export'
+%	- RTTI (base_type_functors, base_type_layout)
 %	- typeclass_infos and class method calls
-%	- type declarations for user-defined types
+%	- high level data representation
+%	  (i.e. generate MLDS type declarations for user-defined types)
 %	...
 %
 % POTENTIAL EFFICIENCY IMPROVEMENTS:

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the developers mailing list