[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