--- sml/trunk/src/compiler/Parse/parse/ml.grm 1998/06/05 20:15:29 117 +++ sml/trunk/src/compiler/Parse/parse/ml.grm 1998/06/05 21:38:17 118 @@ -704,62 +704,5 @@ expleft,expright)) (* - * $Log: ml.grm,v $ - * Revision 1.3 1998/05/15 14:01:15 dbm - * Replaced lazy field name by lazyp in Vb, Rbv, Db args. - * - * Revision 1.2 1998/05/15 03:27:06 dbm - * Revised parsing of lazy keyword. Use lazyp instead of LVb, etc. - * - * Revision 1.1.1.1 1998/04/08 18:39:19 george - * Version 110.5 - * - * Revision 1.14 1997/11/24 20:28:08 dbm - * Eliminiate resultStr, returnStr transforms from parsing by implementing - * them in the elaborator. - * - * Revision 1.13 1997/11/04 23:31:10 dbm - * Liberalized syntax for val rec (rhs can be an arbitrary expression) to - * improve syntax error messages by moving the checking to elabcore.sml. - * - * Revision 1.12 1997/10/26 23:16:12 dbm - * Change in argument type of StrSpec: signature no longer optional. - * - * Revision 1.11 1997/09/23 04:00:23 dbm - * New parsing of structure, functor exprs to fix EntityEnv.Unbound problem. - * - * Revision 1.10 1997/08/26 19:25:20 jhr - * Keyword clean-up: abstraction is gone; overload is _overload; lazy is _lazy. - * - * Revision 1.9 1997/08/25 23:03:35 walidt - * Add in the names of new fixityparse and lazycomp files, in comments. - * - * - * Merged the "lazy" extension to syntax with newest version. - * - * Revision 1.8 1997/08/02 02:23:02 dbm - * Added rules for "include " and signature constrained - * structure expressions. - * - * Revision 1.7 1997/07/15 16:16:21 dbm - * Eliminate "structure" from "where structure" syntax. - * - * Revision 1.6 1997/05/20 12:26:01 dbm - * SML '97 sharing, where structure. - * - * Revision 1.5 1997/04/14 21:36:39 dbm - * Added syntax for explicit type bindings in val, val rec, and fun decls. - * Added simultaneous type definitions (and structure definitions in signature - * where clauses. - * - * Revision 1.4 1997/03/17 18:57:20 dbm - * New rules for datatype replication declarations and specifications. - * - * Revision 1.3 1997/01/31 15:08:58 dbm - * Change in rules to add opaque signature constraints (":>"). - * - * Revision 1.2 1997/01/28 23:20:44 jhr - * Integer and word literals are now represented by IntInf.int (instead of - * as strings). - * + * $Log$ *)
Click to toggle
does not end with </html> tag
does not end with </body> tag
The output has ended thus: and word literals are now represented by IntInf.int (instead of - * as strings). - * + * $Log$ *)