Mercurial > urweb

diff src/elaborate.sml @ 1306:3a845f2ce9e9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
:::_ notation; switch to TooDeep error message
author Adam Chlipala <adam@chlipala.net>
date Sun, 10 Oct 2010 20:33:10 -0400
parents a6fc03d28170
children 5337adf33a4a
line wrap: on
line diff
--- a/src/elaborate.sml	Sun Oct 10 15:54:51 2010 -0400
+++ b/src/elaborate.sml	Sun Oct 10 20:33:10 2010 -0400
@@ -1079,13 +1079,13 @@
                  err COccursCheckFailed
              else
                  (r := SOME (squish nl c2All)
-                  handle CantSquish => err CIncompatible)
+                  handle CantSquish => err (fn _ => TooDeep))
            | (_, L'.CUnif (nl, _, _, _, r)) =>
              if occursCon r c1All then
                  err COccursCheckFailed
              else
                  (r := SOME (squish nl c1All)
-                  handle CantSquish => err CIncompatible)
+                  handle CantSquish => err (fn _ => TooDeep))
 
            | (L'.CUnit, L'.CUnit) => ()