diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-10-31 15:51:50 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-10-31 15:51:50 -0400 |
| commit | 1be7e54fa70a40b16164f69e7153ada0e4935994 (patch) | |
| tree | 83db5727103dd54a22787218cd8325e80059cc96 /src | |
| parent | 2385b6b946eb1215d75a3dddccb05aaf8f605ba3 (diff) | |
Start of bidding implementation compiles
Diffstat (limited to 'src')
| -rw-r--r-- | src/elaborate.sml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/elaborate.sml b/src/elaborate.sml index b46c262e..f13f6f1d 100644 --- a/src/elaborate.sml +++ b/src/elaborate.sml @@ -3418,6 +3418,7 @@ and elabDecl (dAll as (d, loc), (env, denv, gs)) = 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 |