Lines Matching refs:exp
432 | bodyReturnsTuple(Newenv(_, exp)) = bodyReturnsTuple exp
839 | mapbinding(NullBinding exp) = NullBinding(mapExp [UseGeneral] exp)
906 and optGeneral context exp = mapCodetree (optimise(context, [UseGeneral])) exp
1160 | pushContainer(Newenv(decs, exp), leafFn) =
1161 Newenv(decs, pushContainer(exp, leafFn))
1173 | pushContainer(Handle{exp, handler, exPacketAddr}, leafFn) =
1174 Handle{exp=pushContainer(exp, leafFn), handler=pushContainer(handler, leafFn), exPacketAddr=exPacketAddr}
1303 | runChecks (Newenv(bindings, exp)) =
1328 | checkBindings(NullBinding exp, tail) = NullBinding(mapChecks exp) :: tail
1334 SOME(Newenv((List.foldr checkBindings [] bindings), mapChecks exp))