diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2013-08-19 12:25:32 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2013-08-19 12:25:32 -0400 |
| commit | f718e640c3cbe6a891519364992117f49ca333fa (patch) | |
| tree | b7581cc191267590b2ee407d91161bd2950e3604 /src/explify.sml | |
| parent | 42fab45125992244c499ec5ac64e0376109bd4cb (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) |