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/compile/full-persstate-fn.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/compile/full-persstate-fn.sml

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

revision 295, Wed May 26 09:20:25 1999 UTC revision 297, Thu May 27 08:29:19 1999 UTC
# Line 17  Line 17 
17              structure E = GenericVC.Environment              structure E = GenericVC.Environment
18              structure DTS = DynTStamp              structure DTS = DynTStamp
19    
20              infix o'              infix o' o''
21              fun (f o' g) (x, y) = f (g x, y)              fun (f o' g) (x, y) = f (g x, y)
22                fun (f o'' g) (x, y, z) = f (g x, y, z)
23    
24              type exec_memo = { dyn: E.dynenv, dts: DTS.dts }              type exec_memo = { dyn: E.dynenv, dts: DTS.dts }
25    
# Line 46  Line 47 
47              fun share (SML i) = SmlInfo.share i              fun share (SML i) = SmlInfo.share i
48                | share (STABLE i) = BinInfo.share i                | share (STABLE i) = BinInfo.share i
49    
50              fun error (SML i) = SmlInfo.error i              fun error gp (SML i) = SmlInfo.error gp i
51                | error (STABLE i) = BinInfo.error i                | error gp (STABLE i) = BinInfo.error gp i
52    
53              fun exec_look (i, s) =              fun exec_look (i, s, gp) =
54                  case find i of                  case find i of
55                      NONE => NONE                      NONE => NONE
56                    | SOME (memo as { dts = s', ... }) => let                    | SOME (memo as { dts = s', ... }) => let
57                          fun warn () =                          fun warn () =
58                              error i GenericVC.ErrorMsg.WARN                              error gp i GenericVC.ErrorMsg.WARN
59                                    "re-instantiation (sharing may be lost)"                                    "re-instantiation (sharing may be lost)"
60                                    GenericVC.ErrorMsg.nullErrorBody                                    GenericVC.ErrorMsg.nullErrorBody
61                      in                      in
# Line 67  Line 68 
68              fun exec_memo (i, memo) =              fun exec_memo (i, memo) =
69                  if share i = SOME false then () else insert (i, memo)                  if share i = SOME false then () else insert (i, memo)
70    
71              val exec_look_sml = exec_look o' SML              val exec_look_sml = exec_look o'' SML
72              val exec_look_stable = exec_look o' STABLE              val exec_look_stable = exec_look o'' STABLE
73              val exec_memo_sml = exec_memo o' SML              val exec_memo_sml = exec_memo o' SML
74              val exec_memo_stable = exec_memo o' STABLE              val exec_memo_stable = exec_memo o' STABLE
75          end          end

Legend:
Removed from v.295  
changed lines
  Added in v.297

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