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 278, Mon May 17 14:53:49 1999 UTC revision 279, Tue May 18 08:10:36 1999 UTC
# Line 24  Line 24 
24      val s2b = Byte.stringToBytes      val s2b = Byte.stringToBytes
25      val b2c = Byte.byteToChar      val b2c = Byte.byteToChar
26    
27      val version = "Decl 9\n"      val version = "Decl 10\n"
28    
29      fun makeset l = SS.addList (SS.empty, l)      fun makeset l = SS.addList (SS.empty, l)
30    
# Line 90  Line 90 
90              "a" :: w_path (p, w_list w_strExp (l, r))              "a" :: w_path (p, w_list w_strExp (l, r))
91            | w_strExp (SK.LetStrExp (d, se), r) =            | w_strExp (SK.LetStrExp (d, se), r) =
92              "l" :: w_decl (d, w_strExp (se, r))              "l" :: w_decl (d, w_strExp (se, r))
           | w_strExp (SK.AugStrExp (se, s), r) =  
             "g" :: w_strExp (se, w_list w_name (SS.listItems s, r))  
93            | w_strExp (SK.ConStrExp (s1, s2), r) =            | w_strExp (SK.ConStrExp (s1, s2), r) =
94              "c" :: w_strExp (s1, w_strExp(s2, r))              "c" :: w_strExp (s1, w_strExp(s2, r))
95    
96          and w_fctExp (SK.VarFctExp (p, fe), r) =          and w_fctExp (SK.VarFctExp (p, fe), r) =
97              "v" :: w_path (p, w_option w_fctExp (fe, r))              "v" :: w_path (p, w_option w_fctExp (fe, r))
98            | w_fctExp (SK.BaseFctExp { params, body, constraint }, r) = let            | w_fctExp (SK.BaseFctExp { params, body, constraint }, r) =
99                  fun w_item ((mn, se), r) =              "f" :: w_decl (params,
100                      w_option w_name (mn, w_strExp (se, r))                             w_strExp (body, w_option w_strExp (constraint, r)))
             in  
                 "f" ::  
                 w_list w_item (params,  
                                w_strExp (body,  
                                          w_option w_strExp (constraint, r)))  
             end  
101            | w_fctExp (SK.AppFctExp (p, sel, feo), r) =            | w_fctExp (SK.AppFctExp (p, sel, feo), r) =
102              "a" ::              "a" ::
103              w_path (p, w_list w_strExp (sel, w_option w_fctExp (feo, r)))              w_path (p, w_list w_strExp (sel, w_option w_fctExp (feo, r)))
# Line 182  Line 174 
174              SK.AppStrExp (r_path (rd ()), r_list r_strExp (rd ()))              SK.AppStrExp (r_path (rd ()), r_list r_strExp (rd ()))
175            | r_strExp (SOME #"l") =            | r_strExp (SOME #"l") =
176              SK.LetStrExp (r_decl (rd ()), r_strExp (rd ()))              SK.LetStrExp (r_decl (rd ()), r_strExp (rd ()))
           | r_strExp (SOME #"g") =  
             SK.AugStrExp (r_strExp (rd ()), makeset (r_list r_name (rd ())))  
177            | r_strExp (SOME #"c") =            | r_strExp (SOME #"c") =
178              SK.ConStrExp (r_strExp (rd ()), r_strExp (rd ()))              SK.ConStrExp (r_strExp (rd ()), r_strExp (rd ()))
179            | r_strExp _ = raise FormatError            | r_strExp _ = raise FormatError
# Line 191  Line 181 
181          and r_fctExp (SOME #"v") =          and r_fctExp (SOME #"v") =
182              SK.VarFctExp (r_path(rd()), r_option r_fctExp(rd()))              SK.VarFctExp (r_path(rd()), r_option r_fctExp(rd()))
183            | r_fctExp (SOME #"f") =            | r_fctExp (SOME #"f") =
184              let              SK.BaseFctExp { params = r_decl (rd ()),
                 fun r_param first = (r_option r_name first, r_strExp (rd ()))  
             in  
                 SK.BaseFctExp {  
                                params = r_list r_param (rd ()),  
185                                 body = r_strExp (rd ()),                                 body = r_strExp (rd ()),
186                                 constraint = r_option r_strExp (rd ())                              constraint = r_option r_strExp (rd ()) }
                               }  
             end  
187            | r_fctExp (SOME #"a") =            | r_fctExp (SOME #"a") =
188              SK.AppFctExp (r_path (rd ()),              SK.AppFctExp (r_path (rd ()),
189                            r_list r_strExp (rd ()),                            r_list r_strExp (rd ()),

Legend:
Removed from v.278  
changed lines
  Added in v.279

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