| 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 |
Parent Directory
| 
Revision Log
| 
Patch
