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

Diff of /sml/trunk/src/cm/bootstrap/build-initdg.sml

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

revision 357, Mon Jun 28 08:46:30 1999 UTC revision 358, Mon Jun 28 13:59:11 1999 UTC
# Line 14  Line 14 
14    
15  signature BUILD_INIT_DG = sig  signature BUILD_INIT_DG = sig
16      val build : GeneralParams.info -> SrcPath.t ->      val build : GeneralParams.info -> SrcPath.t ->
17          { rts: DependencyGraph.snode,          { rts: DependencyGraph.sbnode,
18            core: DependencyGraph.snode,            core: DependencyGraph.sbnode,
19            pervasive: DependencyGraph.snode,            pervasive: DependencyGraph.sbnode,
20            primitives: (string * DependencyGraph.snode) list,            primitives: (string * DependencyGraph.sbnode) list,
21            binpaths: string list } option            binpaths: string list } option
22  end  end
23    
# Line 86  Line 86 
86                                         | NONE => (error ("undefined: " ^ n);                                         | NONE => (error ("undefined: " ^ n);
87                                                    DG.SB_SNODE (bogus n)))                                                    DG.SB_SNODE (bogus n)))
88    
                         fun look_snode n =  
                             case look n of  
                                 DG.SB_SNODE n => n  
                               | _ => (error ("illegal: " ^ n); bogus n)  
   
89                          fun node (name, file, args) = let                          fun node (name, file, args) = let
90                              fun one (arg, (li, gi)) =                              fun one (arg, (li, gi)) =
91                                  case look arg of                                  case look arg of
# Line 119  Line 114 
114                            | ("bind" :: name :: file :: args)  =>                            | ("bind" :: name :: file :: args)  =>
115                                  node (name, file, args)                                  node (name, file, args)
116                            | ("return" :: core :: rts :: pervasive :: prims) =>                            | ("return" :: core :: rts :: pervasive :: prims) =>
117                                  SOME { rts = look_snode rts,                                  SOME { rts = look rts,
118                                         core = look_snode core,                                         core = look core,
119                                         pervasive = look_snode pervasive,                                         pervasive = look pervasive,
120                                         primitives =                                         primitives =
121                                           map (fn n => (n, look_snode n)) prims,                                                map (fn n => (n, look n)) prims,
122                                         binpaths = rev (getOpt (bnl, [])) }                                         binpaths = rev (getOpt (bnl, [])) }
123                            | _ => (error "malformed line"; NONE)                            | _ => (error "malformed line"; NONE)
124                      end                      end

Legend:
Removed from v.357  
changed lines
  Added in v.358

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