Mercurial > urweb

diff src/elab_env.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 bc7b76ca57e0
children 1c91c5e6840f
line wrap: on
line diff
--- a/src/elab_env.sml	Sun Jun 08 13:59:29 2008 -0400
+++ b/src/elab_env.sml	Sun Jun 08 14:10:51 2008 -0400
@@ -54,7 +54,7 @@
                                              c
                                          else
                                              CRel (xn + 1)
-                                       | CUnif _ => raise SynUnif
+                                       (*| CUnif _ => raise SynUnif*)
                                        | _ => c,
                 bind = fn (bound, U.Con.Rel _) => bound + 1
                         | (bound, _) => bound}