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 329, Fri Jun 11 09:53:10 1999 UTC revision 330, Sat Jun 12 07:45:52 1999 UTC
# Line 117  Line 117 
117                        | ("bind" :: name :: file :: args)  =>                        | ("bind" :: name :: file :: args)  =>
118                              node (name, file, args)                              node (name, file, args)
119                        | ("return" :: rts :: core :: pervasive :: prims) =>                        | ("return" :: rts :: core :: pervasive :: prims) =>
                             (Say.vsay ["[init spec read successfully]\n"];  
120                               SOME { rts = look_snode rts,                               SOME { rts = look_snode rts,
121                                      core = look_snode core,                                      core = look_snode core,
122                                      pervasive = look_snode pervasive,                                      pervasive = look_snode pervasive,
123                                      primitives =                                      primitives =
124                                           map (fn n => (n, look_snode n)) prims,                                           map (fn n => (n, look_snode n)) prims,
125                                      filepaths = rev (getOpt (pl, [])) })                                     filepaths = rev (getOpt (pl, [])) }
126                        | _ => (error "malformed line"; NONE)                        | _ => (error "malformed line"; NONE)
127                  end                  end
128      in      in
129          (* 2: consistent with ml-lex bug? *)          loop (false, StringMap.empty, NONE, 1)
         loop (false, StringMap.empty, NONE, 2)  
130      end      end
131  end  end

Legend:
Removed from v.329  
changed lines
  Added in v.330

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