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 1341, Fri Aug 8 20:28:54 2003 UTC revision 1342, Mon Aug 11 20:46:00 2003 UTC
# Line 829  Line 829 
829                  else                  else
830                      ("open Tag",                      ("open Tag",
831                       build (rev (String.explode tag)))                       build (rev (String.explode tag)))
   
832          in          in
833              str "local";              str "local";
834              Box 4;              Box 4;
# Line 874  Line 873 
873              pr_sue_t_structure (SOME src, tag, anon, T_E, "e", "E")              pr_sue_t_structure (SOME src, tag, anon, T_E, "e", "E")
874    
875          fun pr_sue_it_structure (tag, k, K) =          fun pr_sue_it_structure (tag, k, K) =
876              pr_sue_t_structure (NONE, tag, false, T_INC, k, K)              (pr_sue_t_structure (NONE, tag, false, T_INC, k, K);
877                 exports := ("structure " ^ SUE_Tstruct K tag) :: !exports)
878    
879          fun pr_i_st_structure tag = pr_sue_it_structure (tag, "s", "S")          fun pr_i_st_structure tag = pr_sue_it_structure (tag, "s", "S")
880          fun pr_i_ut_structure tag = pr_sue_it_structure (tag, "u", "U")          fun pr_i_ut_structure tag = pr_sue_it_structure (tag, "u", "U")
# Line 1101  Line 1101 
1101              nl (); str (tstruct ^ " = struct");              nl (); str (tstruct ^ " = struct");
1102              Box 4;              Box 4;
1103              pr_tdef ("t", rtti_ty spec);              pr_tdef ("t", rtti_ty spec);
1104              pr_vdef ("typ", EConstr (rttiv, Type "t"))              pr_vdef ("typ", EConstr (rttiv, Type "t"));
             handle Incomplete => ();  
1105              endBox ();              endBox ();
1106              nl (); str "end";              nl (); str "end";
1107              nl (); str "end";              nl (); str "end";

Legend:
Removed from v.1341  
changed lines
  Added in v.1342

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