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

Diff of /sml/trunk/src/cm/compile/compile.sml

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

revision 587, Thu Mar 30 09:01:52 2000 UTC revision 588, Fri Mar 31 09:00:02 2000 UTC
# Line 48  Line 48 
48      end      end
49    
50      functor CompileFn (structure MachDepVC : MACHDEP_VC      functor CompileFn (structure MachDepVC : MACHDEP_VC
51                           structure StabModmap : STAB_MODMAP
52                         val compile_there : SrcPath.t -> bool) :>                         val compile_there : SrcPath.t -> bool) :>
53          COMPILE where type bfc = MachDepVC.Binfile.bfContent =          COMPILE where type bfc = MachDepVC.Binfile.bfContent =
54      struct      struct
# Line 293  Line 294 
294                                  fun load () = let                                  fun load () = let
295                                      val ts = TStamp.fmodTime binname                                      val ts = TStamp.fmodTime binname
296                                      fun openIt () = BinIO.openIn binname                                      fun openIt () = BinIO.openIn binname
297                                      fun reader s =                                      fun reader s = let
298                                            val mm0 = StabModmap.get ()
299                                            val m = GenModIdMap.mkMap' (stat, mm0)
300                                        in
301                                          (BF.read { stream = s,                                          (BF.read { stream = s,
302                                                     name = binname,                                                     name = binname,
303                                                     senv = stat },                                                     modmap = m },
304                                           ts)                                           ts)
305                                        end
306    
307                                  in                                  in
308                                      SOME (SafeIO.perform                                      SOME (SafeIO.perform

Legend:
Removed from v.587  
changed lines
  Added in v.588

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