Mercurial > urweb
diff src/explify.sml @ 1864:1aa9629e3a4c
Allow [where con] to descend within submodule structure; open submodule constraints while checking later signature items
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Mon, 19 Aug 2013 12:25:32 -0400 |
| parents | bb942416bf1c |
| children | 403f0cc65b9c |
line wrap: on
line diff
--- a/src/explify.sml Sat Aug 10 10:13:40 2013 -0400 +++ b/src/explify.sml Mon Aug 19 12:25:32 2013 -0400 @@ -162,7 +162,7 @@ L.SgnConst sgis => (L'.SgnConst (List.mapPartial explifySgi sgis), loc) | L.SgnVar n => (L'.SgnVar n, loc) | L.SgnFun (m, n, dom, ran) => (L'.SgnFun (m, n, explifySgn dom, explifySgn ran), loc) - | L.SgnWhere (sgn, x, c) => (L'.SgnWhere (explifySgn sgn, x, explifyCon c), loc) + | L.SgnWhere (sgn, ms, x, c) => (L'.SgnWhere (explifySgn sgn, ms, x, explifyCon c), loc) | L.SgnProj x => (L'.SgnProj x, loc) | L.SgnError => raise Fail ("explifySgn: SgnError at " ^ EM.spanToString loc)