Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/src/ml-nlffigen/gen.sml
ViewVC logotype

Diff of /sml/trunk/src/ml-nlffigen/gen.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1563, Mon Jul 26 19:48:45 2004 UTC revision 1564, Mon Jul 26 23:23:39 2004 UTC
# Line 1104  Line 1104 
1104              str "local open C.Dim C in";              str "local open C.Dim C in";
1105              nl (); str (tstruct ^ " = struct");              nl (); str (tstruct ^ " = struct");
1106              Box 4;              Box 4;
1107              pr_tdef ("t", rtti_ty spec);              pr_tdef ("t", wtn_ty spec);
1108              Option.app (fn rttiv =>              Option.app (fn rttiv =>
1109                             pr_vdef ("typ", EConstr (rttiv, Type "t")))                             pr_vdef ("typ",
1110                                        EConstr (rttiv,
1111                                                 Con ("T.typ", [Type "t"]))))
1112                         rttiv_opt;                         rttiv_opt;
1113              endBox ();              endBox ();
1114              nl (); str "end";              nl (); str "end";

Legend:
Removed from v.1563  
changed lines
  Added in v.1564

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0