From 443e2b566220b4aa3921527742e1efbabc0eb0e3 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 8 Nov 2008 10:33:58 -0500 Subject: Resolve all tag named in [Basis]; deal with C compilation failure without leaving /tmp files --- src/urweb.grm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/urweb.grm') 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))) -- cgit v1.2.3