Mercurial > urweb

diff src/elaborate.sml @ 1472:18d18a70821e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Implicit argument insertion for local variables
author Adam Chlipala <adam@chlipala.net>
date Tue, 14 Jun 2011 08:54:45 -0400
parents 7d963b8019e6
children cccf8bf64b30
line wrap: on
line diff
--- a/src/elaborate.sml	Sun Jun 12 17:44:34 2011 -0400
+++ b/src/elaborate.sml	Tue Jun 14 08:54:45 2011 -0400
@@ -1751,6 +1751,7 @@
                         case e of
                             L'.ENamed _ => true
                           | L'.EModProj _ => true
+                          | L'.ERel _ => true
                           | L'.EApp (e, _) => findHead' e
                           | L'.ECApp (e, _) => findHead' e
                           | L'.EKApp (e, _) => findHead' e