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 1057, Fri Feb 8 17:31:02 2002 UTC revision 1058, Fri Feb 8 20:02:56 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 ()
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 ()
487                                      val ii = { statenv = ge,                                      val ii = { statenv = ge,
488                                                 symenv = sye,                                                 symenv = sye,
489                                                 statpid = statpid,                                                 statpid = statpid,
490                                                 sympid = sympid }                                                 sympid = sympid,
491                                                   pepper = pepper }
492                                  in                                  in
493                                      (f, DG.SB_BNODE (n, ii, pos))                                      (f, DG.SB_BNODE (n, ii, pos))
494                                  end                                  end
# Line 870  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 } =                          let val { statenv, symenv, statpid, sympid, pepper } =
876                                  getII smlinfo                                  getII smlinfo
877                          in                          in
878                              "i" $ [symbol s,                              "i" $ [symbol s,
# Line 879  Line 881 
881                                     lazy_symenv symenv,                                     lazy_symenv symenv,
882                                     pid statpid,                                     pid statpid,
883                                     pid sympid,                                     pid sympid,
884                                       string pepper,
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.1057  
changed lines
  Added in v.1058

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