From f718e640c3cbe6a891519364992117f49ca333fa Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Mon, 19 Aug 2013 12:25:32 -0400 Subject: Allow [where con] to descend within submodule structure; open submodule constraints while checking later signature items --- src/explify.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/explify.sml') 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) -- cgit v1.2.3