Mercurial > urweb

diff src/reduce_local.sml @ 1289:3b22c3c67f35

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Reduce: Inline let-bound variables whose types involve functions
author Adam Chlipala <adam@chlipala.net>
date Sun, 22 Aug 2010 13:43:46 -0400
parents cd8d2c73ccf4
children b4480a56cab7
line wrap: on
line diff
--- a/src/reduce_local.sml	Sat Aug 21 10:58:13 2010 -0400
+++ b/src/reduce_local.sml	Sun Aug 22 13:43:46 2010 -0400
@@ -136,7 +136,7 @@
          let
              fun find (n', env, nudge, liftC) =
                  case env of
-                     [] => raise Fail "Reduce.con: CRel"
+                     [] => raise Fail "ReduceLocal.con: CRel"
                    | Unknown :: rest => find (n', rest, nudge, liftC)
                    | Known _ :: rest => find (n', rest, nudge, liftC)
                    | Lift (liftC', _) :: rest => find (n', rest, nudge + liftC',