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 714, Mon Oct 23 23:39:43 2000 UTC revision 715, Thu Nov 2 07:51:04 2000 UTC
# Line 439  Line 439 
439                          share fsbnM f                          share fsbnM f
440                      end                      end
441    
442                      and fsbnlist () = list fsbnListM fsbn ()                      and fsbnlist () = list fsbnListM lazy_fsbn ()
443    
444                      val lazy_fsbn = UU.r_lazy session fsbn                      and lazy_fsbn () = UU.r_lazy session fsbn ()
445    
446                      fun impexp () = let                      fun impexp () = let
447                          fun ie #"i" =                          fun ie #"i" =
# Line 750  Line 750 
750                  val op $ = PU.$ SN                  val op $ = PU.$ SN
751                  fun raw_sn (DG.SNODE n) =                  fun raw_sn (DG.SNODE n) =
752                      "a" $ [si (#smlinfo n), list sn (#localimports n),                      "a" $ [si (#smlinfo n), list sn (#localimports n),
753                             list fsbn (#globalimports n)]                             list lazy_fsbn' (#globalimports n)]
754              in              in
755                  share SNs raw_sn n                  share SNs raw_sn n
756              end              end
# Line 775  Line 775 
775                  "f" $ [filter f, sbn n]                  "f" $ [filter f, sbn n]
776              end              end
777    
778              val lazy_fsbn = PU.w_lazy fsbn              and lazy_fsbn arg = PU.w_lazy fsbn arg
779    
780                and lazy_fsbn' arg = lazy_fsbn (fn () => arg)
781    
782              (* Here is the place where we need to write interface info. *)              (* Here is the place where we need to write interface info. *)
783              fun impexp (s, (nth, _, allsyms)) = let              fun impexp (s, (nth, _, allsyms)) = let

Legend:
Removed from v.714  
changed lines
  Added in v.715

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