diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-03-08 20:34:21 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-03-08 20:34:21 -0400 |
| commit | aed3aa32e62846a16da55fc7be4cecba92ed5e2b (patch) | |
| tree | 8c31380919fec41eaf59c882a30eec7106838f6c /src/reduce_local.sml | |
| parent | 5f77fc276c90321dec9e17ec483a1d8b11db3c96 (diff) | |
Conversion of functions to CPS, to facilitate ServerCall
Diffstat (limited to 'src/reduce_local.sml')
| -rw-r--r-- | src/reduce_local.sml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/reduce_local.sml b/src/reduce_local.sml index 8b963e1b..a49d7115 100644 --- a/src/reduce_local.sml +++ b/src/reduce_local.sml @@ -51,7 +51,7 @@ fun exp env (all as (e, loc)) = let fun find (n', env, nudge, lift) = case env of - [] => raise Fail "ReduceLocal.exp: ERel" + [] => (ERel (n + nudge), loc) | Lift lift' :: rest => find (n', rest, nudge + lift', lift + lift') | Unknown :: rest => if n' = 0 then @@ -156,4 +156,6 @@ fun reduce file = map doDecl file end +val reduceExp = exp [] + end |