Mercurial > urweb
comparison 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 |
comparison
equal
deleted
inserted
replaced
1863:32784d27b5bc | 1864:1aa9629e3a4c |
---|---|
123 | 123 |
124 and sgn' = | 124 and sgn' = |
125 SgnConst of sgn_item list | 125 SgnConst of sgn_item list |
126 | SgnVar of int | 126 | SgnVar of int |
127 | SgnFun of string * int * sgn * sgn | 127 | SgnFun of string * int * sgn * sgn |
128 | SgnWhere of sgn * string * con | 128 | SgnWhere of sgn * string list * string * con |
129 | SgnProj of int * string list * string | 129 | SgnProj of int * string list * string |
130 | 130 |
131 withtype sgn_item = sgn_item' located | 131 withtype sgn_item = sgn_item' located |
132 and sgn = sgn' located | 132 and sgn = sgn' located |
133 | 133 |