| 374 |
| _ => ()) handle M.IntmapF=>(); |
| _ => ()) handle M.IntmapF=>(); |
| 375 |
(1+s, addv(S.rmv(lv, fv), v), F.SELECT(v,i,lv,le)) |
(1+s, addv(S.rmv(lv, fv), v), F.SELECT(v,i,lv,le)) |
| 376 |
end |
end |
| 377 |
| F.RAISE (F.VAR v,ltys) => (3, S.singleton v, lexp) |
| F.RAISE (F.VAR v,ltys) => |
| 378 |
|
(* artificially high size estimate to discourage inlining *) |
| 379 |
|
(15, S.singleton v, lexp) |
| 380 |
| F.HANDLE (le,v) => |
| F.HANDLE (le,v) => |
| 381 |
let val (s,fv,le) = loop le |
let val (s,fv,le) = loop le |
| 382 |
in (2+s, addv(fv, v), F.HANDLE(le,v)) |
in (2+s, addv(fv, v), F.HANDLE(le,v)) |
Parent Directory
| 
Revision Log
| 
Patch
