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 1556, Wed Jul 21 21:54:54 2004 UTC revision 1557, Wed Jul 21 23:19:18 2004 UTC
# Line 1089  Line 1089 
1089          end          end
1090    
1091          fun pr_t_structure { src, name, spec } = let          fun pr_t_structure { src, name, spec } = let
1092              val rttiv = rtti_val spec              val rttiv_opt = SOME (rtti_val spec) handle Incomplete => NONE
1093              val file = smlfile ("t-" ^ name)              val file = smlfile ("t-" ^ name)
1094              val { closePP, Box, endBox, str, nl, pr_tdef,              val { closePP, Box, endBox, str, nl, pr_tdef,
1095                    pr_vdef, ... } =                    pr_vdef, ... } =
# Line 1100  Line 1100 
1100              nl (); str (tstruct ^ " = struct");              nl (); str (tstruct ^ " = struct");
1101              Box 4;              Box 4;
1102              pr_tdef ("t", rtti_ty spec);              pr_tdef ("t", rtti_ty spec);
1103              pr_vdef ("typ", EConstr (rttiv, Type "t"));              Option.app (fn rttiv =>
1104                               pr_vdef ("typ", EConstr (rttiv, Type "t")))
1105                           rttiv_opt;
1106              endBox ();              endBox ();
1107              nl (); str "end";              nl (); str "end";
1108              nl (); str "end";              nl (); str "end";
1109              nl ();              nl ();
1110              closePP ();              closePP ();
1111              exports := tstruct :: !exports              exports := tstruct :: !exports
1112          end handle Incomplete => ()          end
1113    
1114          fun pr_gvar { src, name, spec = (c, t) } = let          fun pr_gvar { src, name, spec = (c, t) } = let
1115              val file = smlfile ("g-" ^ name)              val file = smlfile ("g-" ^ name)

Legend:
Removed from v.1556  
changed lines
  Added in v.1557

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