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/cm/smlfile/skel-io.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/smlfile/skel-io.sml

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

revision 286, Fri May 21 07:47:16 1999 UTC revision 291, Mon May 24 09:41:07 1999 UTC
# Line 71  Line 71 
71    
72          and w_modExp (SK.Var p, r) = "v" :: w_path (p, r)          and w_modExp (SK.Var p, r) = "v" :: w_path (p, r)
73            | w_modExp (SK.Decl d, r) = "d" :: w_decl (d, r)            | w_modExp (SK.Decl d, r) = "d" :: w_decl (d, r)
           | w_modExp (SK.App (p, l), r) =  
             "a" :: w_path (p, w_list w_modExp (l, r))  
74            | w_modExp (SK.Let (d, m), r) = "l" :: w_decl (d, w_modExp (m, r))            | w_modExp (SK.Let (d, m), r) = "l" :: w_decl (d, w_modExp (m, r))
75            | w_modExp (SK.Con (m1, m2), r) =            | w_modExp (SK.Ign1 (m1, m2), r) =
76              "c" :: w_modExp (m1, w_modExp (m2, r))              "i" :: w_modExp (m1, w_modExp (m2, r))
77      in      in
78          BinIO.output (s, s2b (concat (version :: w_decl (d, ["\n"]))))          BinIO.output (s, s2b (concat (version :: w_decl (d, ["\n"]))))
79      end      end
# Line 121  Line 119 
119    
120          and r_modExp (SOME #"v") = SK.Var (r_path (rd ()))          and r_modExp (SOME #"v") = SK.Var (r_path (rd ()))
121            | r_modExp (SOME #"d") = SK.Decl (r_decl (rd ()))            | r_modExp (SOME #"d") = SK.Decl (r_decl (rd ()))
           | r_modExp (SOME #"a") =  
             SK.App (r_path (rd ()), r_list r_modExp (rd ()))  
122            | r_modExp (SOME #"l") = SK.Let (r_decl (rd ()), r_modExp (rd ()))            | r_modExp (SOME #"l") = SK.Let (r_decl (rd ()), r_modExp (rd ()))
123            | r_modExp (SOME #"c") = SK.Con (r_modExp (rd ()), r_modExp (rd ()))            | r_modExp (SOME #"i") = SK.Ign1 (r_modExp (rd ()), r_modExp (rd ()))
124            | r_modExp _ = raise FormatError            | r_modExp _ = raise FormatError
125    
126          val firstline = inputLine s          val firstline = inputLine s

Legend:
Removed from v.286  
changed lines
  Added in v.291

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