Mercurial > urweb
diff src/expl.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 | b4480a56cab7 |
children | 403f0cc65b9c |
line wrap: on
line diff
--- a/src/expl.sml Sat Aug 10 10:13:40 2013 -0400 +++ b/src/expl.sml Mon Aug 19 12:25:32 2013 -0400 @@ -125,7 +125,7 @@ SgnConst of sgn_item list | SgnVar of int | SgnFun of string * int * sgn * sgn - | SgnWhere of sgn * string * con + | SgnWhere of sgn * string list * string * con | SgnProj of int * string list * string withtype sgn_item = sgn_item' located