diff options
| -rw-r--r-- | src/compiler.sml | 3 | ||||
| -rw-r--r-- | src/urweb.grm | 2 |
2 files changed, 3 insertions, 2 deletions
diff --git a/src/compiler.sml b/src/compiler.sml index de0490c3..bde16fd3 100644 --- a/src/compiler.sml +++ b/src/compiler.sml @@ -567,7 +567,8 @@ fun compile job = (cname, oname, fn () => (OS.FileSys.remove cname; OS.FileSys.remove oname; - OS.FileSys.rmDir dir)) + OS.FileSys.rmDir dir) + handle OS.SysErr _ => OS.FileSys.rmDir dir) end val ename = #exe job in 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))) |