diff options
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 |