Mercurial > urweb

diff src/elaborate.sml @ 17:9bd8669d53c2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Further experiments with implicit arguments
author Adam Chlipala <adamc@hcoop.net>
date Sun, 08 Jun 2008 14:10:51 -0400
parents 1e645beb3f3b
children 9a578171de9e
line wrap: on
line diff
--- a/src/elaborate.sml	Sun Jun 08 13:59:29 2008 -0400
+++ b/src/elaborate.sml	Sun Jun 08 14:10:51 2008 -0400
@@ -357,7 +357,7 @@
                                           #1 rep
                                       else
                                           c
-                                    | L'.CUnif _ => raise SynUnif
+                                    (*| L'.CUnif _ => raise SynUnif*)
                                     | _ => c,
                 bind = fn ((xn, rep), U.Con.Rel _) => (xn+1, liftConInCon 0 rep)
                         | (ctx, _) => ctx}