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/compiler/Semant/pickle/unpickmod-new.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/Semant/pickle/unpickmod-new.sml

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

revision 773, Mon Jan 8 16:18:37 2001 UTC revision 774, Wed Jan 10 12:50:56 2001 UTC
# Line 183  Line 183 
183          val int = UU.r_int session          val int = UU.r_int session
184          val bool = UU.r_bool session          val bool = UU.r_bool session
185          fun list m r = UU.r_list session m r          fun list m r = UU.r_list session m r
186            fun option m r = UU.r_option session m r
187          val string = UU.r_string session          val string = UU.r_string session
188          val symbol = UnpickleSymPid.r_symbol (session, string)          val symbol = UnpickleSymPid.r_symbol (session, string)
189    
# Line 194  Line 195 
195          val nkM = UU.mkMap ()          val nkM = UU.mkMap ()
196          val poM = UU.mkMap ()          val poM = UU.mkMap ()
197          val boolListM = UU.mkMap ()          val boolListM = UU.mkMap ()
198            val boolOptionM = UU.mkMap ()
199          val tkindM = UU.mkMap ()          val tkindM = UU.mkMap ()
200          val tkindListM = UU.mkMap ()          val tkindListM = UU.mkMap ()
201          val ctypeM = UU.mkMap ()          val ctypeM = UU.mkMap ()
# Line 201  Line 203 
203          val cciM = UU.mkMap ()          val cciM = UU.mkMap ()
204    
205          val boollist = list boolListM bool          val boollist = list boolListM bool
206            val booloption = option boolOptionM bool
207    
208          val pid = UnpickleSymPid.r_pid (session, string)          val pid = UnpickleSymPid.r_pid (session, string)
209    
# Line 293  Line 296 
296                                retTy = ctype (),                                retTy = ctype (),
297                                paramTys = ctypelist () },                                paramTys = ctypelist () },
298                    ml_flt_args = boollist (),                    ml_flt_args = boollist (),
299                    ml_flt_res = bool () }                    ml_flt_res_opt = booloption () }
300                | cp _ = raise Format                | cp _ = raise Format
301          in          in
302              share cciM cp              share cciM cp

Legend:
Removed from v.773  
changed lines
  Added in v.774

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