Mercurial > urweb
diff src/reduce_local.sml @ 642:4a125bbc602d
Conversion of functions to CPS, to facilitate ServerCall
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 08 Mar 2009 20:34:21 -0400 |
parents | 230654093b51 |
children | f152f215a02c |
line wrap: on
line diff
--- a/src/reduce_local.sml Sun Mar 08 13:41:55 2009 -0400 +++ b/src/reduce_local.sml Sun Mar 08 20:34:21 2009 -0400 @@ -51,7 +51,7 @@ 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 @@ map doDecl file end +val reduceExp = exp [] + end