122 |
val currentvar = tmpvar("profCurrent",CONty(refTycon,[intTy]), mkv) |
val currentvar = tmpvar("profCurrent",CONty(refTycon,[intTy]), mkv) |
123 |
val currentexp = varexp currentvar |
val currentexp = varexp currentvar |
124 |
|
|
125 |
val register = |
val register = CoreAccess.getVar (env, "profile_register") |
|
case Lookup.lookVal |
|
|
(env, |
|
|
SP.SPATH [CoreSym.coreSym, |
|
|
S.varSymbol "profile_register"], |
|
|
fn _ => fn s => fn _ => bug "222 in prof") of |
|
|
V.VAL r => r |
|
|
| _ => bug "09824 in prof" |
|
126 |
|
|
127 |
local |
local |
128 |
val ty = case register of |
val ty = case register of |
338 |
val ccvara' = makeEntry(name) |
val ccvara' = makeEntry(name) |
339 |
val lvar = tmpvar("fnvar",t,mkv); |
val lvar = tmpvar("fnvar",t,mkv); |
340 |
|
|
341 |
val exnMatch = |
val exnMatch = CoreAccess.getCon (env, "Match") |
|
case Lookup.lookVal |
|
|
(env, |
|
|
SP.SPATH [CoreSym.coreSym, |
|
|
S.varSymbol "Match"], |
|
|
fn _ => fn s => fn _ => |
|
|
bug "250 in prof") |
|
|
of V.CON e => e |
|
|
| _ => bug "no CON for exnMatch" |
|
342 |
|
|
343 |
val RULE(_,special) = List.last l |
val RULE(_,special) = List.last l |
344 |
in FNexp ([RULE(VARpat(lvar), |
in FNexp ([RULE(VARpat(lvar), |