Mercurial > urweb

diff src/elaborate.sml @ 1022:4de35df3d545

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of bidding implementation compiles
author Adam Chlipala <adamc@hcoop.net>
date Sat, 31 Oct 2009 15:51:50 -0400
parents 5d7e05b4a5c0
children 6bcc1020d5cd
line wrap: on
line diff
--- a/src/elaborate.sml	Sun Oct 25 15:29:21 2009 -0400
+++ b/src/elaborate.sml	Sat Oct 31 15:51:50 2009 -0400
@@ -3418,6 +3418,7 @@
                     val denv' =
                         case #1 str' of
                             L'.StrConst _ => dopenConstraints (loc, env', denv) {str = x, strs = []}
+                          | L'.StrApp _ => dopenConstraints (loc, env', denv) {str = x, strs = []}
                           | _ => denv
                 in
                     case #1 (hnormSgn env sgn') of