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/bootstrap/btcompile.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/bootstrap/btcompile.sml

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

revision 651, Thu Jun 1 18:34:03 2000 UTC revision 652, Tue Jun 6 02:14:56 2000 UTC
# Line 184  Line 184 
184                  fun rt2ie (n, ii: IInfo.info) = let                  fun rt2ie (n, ii: IInfo.info) = let
185                      val s = #statenv ii ()                      val s = #statenv ii ()
186                      val (dae, mkDomain) = Statenv2DAEnv.cvt s                      val (dae, mkDomain) = Statenv2DAEnv.cvt s
187                        val domain = mkDomain ()
188                  in                  in
189                      (* Link path info = NONE, will be reset at import                      { ie = (fn () => (NONE, n), dae, domain), domain = domain }
                      * time (in members.sml). *)  
                     { ie = ((NONE, n), dae), mkDomain = mkDomain }  
190                  end                  end
191    
192                  fun add_exports (n, exports) = let                  fun add_exports (n, exports) = let
193                      val { ie, mkDomain } = rt2ie (n, rt n)                      val { ie, domain } = rt2ie (n, rt n)
194                      fun ins_ie (sy, m) = SymbolMap.insert (m, sy, ie)                      fun ins_ie (sy, m) = SymbolMap.insert (m, sy, ie)
195                  in                  in
196                      SymbolSet.foldl ins_ie exports (mkDomain ())                      SymbolSet.foldl ins_ie exports domain
197                  end                  end
198    
199                  val special_exports = let                  val special_exports = let

Legend:
Removed from v.651  
changed lines
  Added in v.652

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