diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-11-08 10:33:58 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-11-08 10:33:58 -0500 |
commit | 79e0beea4d86f0777f1803d695b0f135100d0eb5 (patch) | |
tree | 668e1182a47e66702fa97dbef4025dd9c1df40ac /src/urweb.grm | |
parent | 001d4ac1ca69ff58706f007d079e28ff24ab252f (diff) |
Resolve all tag named in [Basis]; deal with C compilation failure without leaving /tmp files
Diffstat (limited to 'src/urweb.grm')
-rw-r--r-- | src/urweb.grm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/urweb.grm b/src/urweb.grm index b49cd793..f344633d 100644 --- a/src/urweb.grm +++ b/src/urweb.grm @@ -1069,7 +1069,7 @@ tagHead: BEGIN_TAG (let val pos = s (BEGIN_TAGleft, BEGIN_TAGright) in (bt, - (EVar ([], bt, Infer), pos)) + (EVar (["Basis"], bt, Infer), pos)) end) | tagHead LBRACE cexp RBRACE (#1 tagHead, (ECApp (#2 tagHead, cexp), s (tagHeadleft, RBRACEright))) |