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 1136, Tue Mar 12 19:44:02 2002 UTC revision 1137, Tue Mar 12 22:28:55 2002 UTC
# Line 480  Line 480 
480                                  val sye = lazy_symenv ()                                  val sye = lazy_symenv ()
481                                  val statpid = pid ()                                  val statpid = pid ()
482                                  val sympid = pid ()                                  val sympid = pid ()
483                                  val pepper = string ()                                  val guid = string ()
484                                  val allsyms = symbolset ()                                  val allsyms = symbolset ()
485                                  fun ieth () = let                                  fun ieth () = let
486                                      val (f, n, pos) = nth ()                                      val (f, n, pos) = nth ()
# Line 488  Line 488 
488                                                 symenv = sye,                                                 symenv = sye,
489                                                 statpid = statpid,                                                 statpid = statpid,
490                                                 sympid = sympid,                                                 sympid = sympid,
491                                                 pepper = pepper }                                                 guid = guid }
492                                  in                                  in
493                                      (f, DG.SB_BNODE (n, ii, pos))                                      (f, DG.SB_BNODE (n, ii, pos))
494                                  end                                  end
# Line 872  Line 872 
872                      case nth () of                      case nth () of
873                          (_, DG.SB_SNODE (DG.SNODE { smlinfo, ... })) =>                          (_, DG.SB_SNODE (DG.SNODE { smlinfo, ... })) =>
874                          (* this is the case of an actual internal node *)                          (* this is the case of an actual internal node *)
875                          let val { statenv, symenv, statpid, sympid, pepper } =                          let val { statenv, symenv, statpid, sympid, guid } =
876                                  getII smlinfo                                  getII smlinfo
877                          in                          in
878                              "i" $ [symbol s,                              "i" $ [symbol s,
# Line 881  Line 881 
881                                     lazy_symenv symenv,                                     lazy_symenv symenv,
882                                     pid statpid,                                     pid statpid,
883                                     pid sympid,                                     pid sympid,
884                                     string pepper,                                     string guid,
885                                     symbolset allsyms]                                     symbolset allsyms]
886                          end                          end
887                        | (f, DG.SB_BNODE (DG.BNODE n, _, _)) =>                        | (f, DG.SB_BNODE (DG.BNODE n, _, _)) =>

Legend:
Removed from v.1136  
changed lines
  Added in v.1137

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