Mercurial > urweb

comparison src/source.sml @ 1864:1aa9629e3a4c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 bb942416bf1c
children d6b0ee53dc93
comparison
equal deleted inserted replaced
1863:32784d27b5bc 1864:1aa9629e3a4c
98 98
99 and sgn' = 99 and sgn' =
100 SgnConst of sgn_item list 100 SgnConst of sgn_item list
101 | SgnVar of string 101 | SgnVar of string
102 | SgnFun of string * sgn * sgn 102 | SgnFun of string * sgn * sgn
103 | SgnWhere of sgn * string * con 103 | SgnWhere of sgn * string list * string * con
104 | SgnProj of string * string list * string 104 | SgnProj of string * string list * string
105 105
106 and pat' = 106 and pat' =
107 PWild 107 PWild
108 | PVar of string 108 | PVar of string