diff options
author | 2013-08-19 12:25:32 -0400 | |
---|---|---|
committer | 2013-08-19 12:25:32 -0400 | |
commit | bcaa5ca71b45500fa2df7ca1d19202fe7807ab36 (patch) | |
tree | b7581cc191267590b2ee407d91161bd2950e3604 /src/explify.sml | |
parent | 9734b34421533a3a70a09629b11d7e2105ef4a1a (diff) |
Allow [where con] to descend within submodule structure; open submodule constraints while checking later signature items
Diffstat (limited to 'src/explify.sml')
-rw-r--r-- | src/explify.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/explify.sml b/src/explify.sml index 65e78443..4c60bd20 100644 --- a/src/explify.sml +++ b/src/explify.sml @@ -162,7 +162,7 @@ and explifySgn (sgn, loc) = 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) |