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 536, Fri Feb 18 16:51:54 2000 UTC revision 537, Fri Feb 18 17:20:16 2000 UTC
# Line 23  Line 23 
23       *)       *)
24      val mkUnpicklers :      val mkUnpicklers :
25          UnpickleUtil.session ->          UnpickleUtil.session ->
26          { prim_context: string -> CMStaticEnv.staticEnv option,          { prim_context: CMStaticEnv.staticEnv,
27            node_context: int * Symbol.symbol -> CMStaticEnv.staticEnv option }            node_context: int * Symbol.symbol -> CMStaticEnv.staticEnv option }
28          -> { symenv: SymbolicEnv.symenv UnpickleUtil.reader,          -> { symenv: SymbolicEnv.symenv UnpickleUtil.reader,
29               env: env'n'ctxt UnpickleUtil.reader,               env: env'n'ctxt UnpickleUtil.reader,
# Line 499  Line 499 
499                | tyc #"F" = T.RECtyc (int ())                | tyc #"F" = T.RECtyc (int ())
500                | tyc #"G" = T.FREEtyc (int ())                | tyc #"G" = T.FREEtyc (int ())
501                | tyc #"H" = T.ERRORtyc                | tyc #"H" = T.ERRORtyc
502                | tyc #"I" = lookTYCp (string (), modId ())                | tyc #"I" = lookTYCp (modId ())
503                | tyc #"J" = lookTYCn (int (), symbol(), modId ())                | tyc #"J" = lookTYCn (int (), symbol(), modId ())
504                | tyc _ = raise Format                | tyc _ = raise Format
505          in          in
# Line 582  Line 582 
582                                    lambdaty = ref NONE,                                    lambdaty = ref NONE,
583                                    typsharing = spathlistlist (),                                    typsharing = spathlistlist (),
584                                    strsharing = spathlistlist () }                                    strsharing = spathlistlist () }
585                | sg #"D" = lookSIGp (string (), modId ())                | sg #"D" = lookSIGp (modId ())
586                | sg #"E" = lookSIGn (int (), symbol (), modId ())                | sg #"E" = lookSIGn (int (), symbol (), modId ())
587                | sg _ = raise Format                | sg _ = raise Format
588          in          in
# Line 597  Line 597 
597                                      paramvar = entVar (),                                      paramvar = entVar (),
598                                      paramsym = symboloption (),                                      paramsym = symboloption (),
599                                      bodysig = Signature () }                                      bodysig = Signature () }
600                | fsg #"d" = lookFSIGp (string (), modId ())                | fsg #"d" = lookFSIGp (modId ())
601                | fsg #"e" = lookFSIGn (int (), symbol (), modId ())                | fsg #"e" = lookFSIGn (int (), symbol (), modId ())
602                | fsg _ = raise Format                | fsg _ = raise Format
603          in          in
# Line 650  Line 650 
650                | str #"C" = stracc (lookSTR (modId ()))                | str #"C" = stracc (lookSTR (modId ()))
651                | str #"D" = M.STR { sign = Signature (), rlzn = strEntity (),                | str #"D" = M.STR { sign = Signature (), rlzn = strEntity (),
652                                     access = access (), info = inl_info () }                                     access = access (), info = inl_info () }
653                | str #"I" = stracc (lookSTRp (string (), modId ()))                | str #"I" = stracc (lookSTRp (modId ()))
654                | str #"J" = stracc (lookSTRn (int (), symbol (), modId ()))                | str #"J" = stracc (lookSTRn (int (), symbol (), modId ()))
655                | str _ = raise Format                | str _ = raise Format
656          in          in
# Line 666  Line 666 
666                | fct #"F" = fctacc (lookFCT (modId ()))                | fct #"F" = fctacc (lookFCT (modId ()))
667                | fct #"G" = M.FCT { sign = fctSig (), rlzn = fctEntity (),                | fct #"G" = M.FCT { sign = fctSig (), rlzn = fctEntity (),
668                                     access = access (), info = inl_info () }                                     access = access (), info = inl_info () }
669                | fct #"H" = fctacc (lookFCTp (string (), modId ()))                | fct #"H" = fctacc (lookFCTp (modId ()))
670                | fct #"I" = fctacc (lookFCTn (int (), symbol (), modId ()))                | fct #"I" = fctacc (lookFCTn (int (), symbol (), modId ()))
671                | fct _ = raise Format                | fct _ = raise Format
672          in          in
# Line 759  Line 759 
759                | eenv #"C" = M.ERReenv                | eenv #"C" = M.ERReenv
760                | eenv #"D" = lookEENV (modId ())                | eenv #"D" = lookEENV (modId ())
761                | eenv #"E" = M.MARKeenv (stamp (), entityEnv ())                | eenv #"E" = M.MARKeenv (stamp (), entityEnv ())
762                | eenv #"F" = lookEENVp (string (), modId ())                | eenv #"F" = lookEENVp (modId ())
763                | eenv #"G" = lookEENVn (int (), symbol (), modId ())                | eenv #"G" = lookEENVn (int (), symbol (), modId ())
764                | eenv _ = raise Format                | eenv _ = raise Format
765          in          in
# Line 1102  Line 1102 
1102    
1103      fun mkUnpicklers session contexts = let      fun mkUnpicklers session contexts = let
1104          val { prim_context, node_context } = contexts          val { prim_context, node_context } = contexts
1105          fun cvtP lk (s, id) =          fun cvtP lk id =
1106              case prim_context s of              case lk prim_context id of
1107                  NONE => raise Format                  SOME v => v
1108                | SOME e => (case lk e id of SOME v => v | NONE => raise Format)                | NONE => raise Format
1109          fun cvtN lk (i, s, id) =          fun cvtN lk (i, s, id) =
1110              case node_context (i, s) of              case node_context (i, s) of
1111                  NONE => raise Format                  NONE => raise Format

Legend:
Removed from v.536  
changed lines
  Added in v.537

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