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

Diff of /sml/branches/primop-branch-3/compiler/Semant/pickle/unpickmod-new.sml

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

revision 2570, Sat May 19 21:06:33 2007 UTC revision 2571, Sun May 20 15:12:54 2007 UTC
# Line 429  Line 429 
429          val sigM = UU.mkMap ()          val sigM = UU.mkMap ()
430          val fsigM = UU.mkMap ()          val fsigM = UU.mkMap ()
431          val spM = UU.mkMap ()          val spM = UU.mkMap ()
432            val tsiM = UU.mkMap ()
433          val enM = UU.mkMap ()          val enM = UU.mkMap ()
434          val fctcM = UU.mkMap ()          val fctcM = UU.mkMap ()
435          val strM = UU.mkMap ()          val strM = UU.mkMap ()
# Line 838  Line 839 
839    
840          and spec' () = let          and spec' () = let
841              fun sp #"1" =              fun sp #"1" =
842                  let val (t, ttr) = tycon' ()                  let val (i, itr) = tycSpecInfo' ()
843                  in                  in
844                      (M.TYCspec { spec = t, entVar = entVar (),                      (M.TYCspec { entVar = entVar (), info = i },
845                                   repl = bool (), scope = int () },                       itr)
                      ttr)  
846                  end                  end
847                | sp #"2" =                | sp #"2" =
848                  let val (s, str) = Signature' ()                  let val (s, str) = Signature' ()
# Line 874  Line 874 
874              share spM sp              share spM sp
875          end          end
876    
877            and tycSpecInfo' () =
878                let fun tsi #"a" =
879                        let val (t,ttr) = tycon' ()
880                        in (M.RegTycSpec{spec = t, repl = bool (), scope = int ()},
881                            ttr)
882                        end
883                      | tsi #"b" =
884                        (M.InfTycSpec{name = symbol (), arity = int ()},
885                         notree)
886                      | tsi _ = raise Format
887                 in share tsiM tsi
888                end
889    
890          and entity' () = let          and entity' () = let
891              fun en #"A" = & M.TYCent (tycEntity' ())              fun en #"A" = & M.TYCent (tycEntity' ())
892                | en #"B" = & M.STRent (strEntity' ())                | en #"B" = & M.STRent (strEntity' ())

Legend:
Removed from v.2570  
changed lines
  Added in v.2571

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