Mercurial > urweb
diff src/elab_env.sml @ 41:1405d8c26790
Beginning of functor elaboration
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 19 Jun 2008 16:04:28 -0400 |
| parents | 44b5405e74c7 |
| children | b3fbbc6cb1e5 |
line wrap: on
line diff
--- a/src/elab_env.sml Thu Jun 19 15:15:00 2008 -0400 +++ b/src/elab_env.sml Thu Jun 19 16:04:28 2008 -0400 @@ -376,6 +376,7 @@ projectCon env {sgn = sgn, str = str, field = field} end | SgnError => SOME ((KError, ErrorMsg.dummySpan), SOME (CError, ErrorMsg.dummySpan)) + | SgnFun _ => NONE fun projectVal env {sgn = (sgn, _), str, field} = case sgn of @@ -390,6 +391,7 @@ projectVal env {sgn = sgn, str = str, field = field} end | SgnError => SOME (CError, ErrorMsg.dummySpan) + | SgnFun _ => NONE fun projectStr env {sgn = (sgn, _), str, field} = case sgn of @@ -404,6 +406,7 @@ projectStr env {sgn = sgn, str = str, field = field} end | SgnError => SOME (SgnError, ErrorMsg.dummySpan) + | SgnFun _ => NONE val ktype = (KType, ErrorMsg.dummySpan)