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/stable/stabilize.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/stable/stabilize.sml

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

revision 354, Fri Jun 25 08:36:12 1999 UTC revision 355, Sat Jun 26 13:17:30 1999 UTC
# Line 430  Line 430 
430    
431      fun loadStable (gp, getGroup, anyerrors) group = let      fun loadStable (gp, getGroup, anyerrors) group = let
432    
433          fun bn2env n = Statenv2DAEnv.cvtMemo (fn () => bn2statenv gp n)          val es2bs = GenericVC.CoerceEnv.es2bs
434            fun bn2env n =
435                Statenv2DAEnv.cvtMemo (fn () => es2bs (bn2statenv gp n))
436    
437          val errcons = #errcons gp          val errcons = #errcons gp
438          val grpSrcInfo = (errcons, anyerrors)          val grpSrcInfo = (errcons, anyerrors)

Legend:
Removed from v.354  
changed lines
  Added in v.355

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