Mercurial > urweb

comparison src/elab.sml @ 88:7bab29834cd6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Constraints in modules
author Adam Chlipala <adamc@hcoop.net>
date Tue, 01 Jul 2008 15:58:02 -0400
parents 1f85890c9846
children f0f59e918cac
comparison
equal deleted inserted replaced
87:275aaeb73f1f 88:7bab29834cd6
93 SgiConAbs of string * int * kind 93 SgiConAbs of string * int * kind
94 | SgiCon of string * int * kind * con 94 | SgiCon of string * int * kind * con
95 | SgiVal of string * int * con 95 | SgiVal of string * int * con
96 | SgiStr of string * int * sgn 96 | SgiStr of string * int * sgn
97 | SgiSgn of string * int * sgn 97 | SgiSgn of string * int * sgn
98 | SgiConstraint of con * con
98 99
99 and sgn' = 100 and sgn' =
100 SgnConst of sgn_item list 101 SgnConst of sgn_item list
101 | SgnVar of int 102 | SgnVar of int
102 | SgnFun of string * int * sgn * sgn 103 | SgnFun of string * int * sgn * sgn
111 DCon of string * int * kind * con 112 DCon of string * int * kind * con
112 | DVal of string * int * con * exp 113 | DVal of string * int * con * exp
113 | DSgn of string * int * sgn 114 | DSgn of string * int * sgn
114 | DStr of string * int * sgn * str 115 | DStr of string * int * sgn * str
115 | DFfiStr of string * int * sgn 116 | DFfiStr of string * int * sgn
117 | DConstraint of con * con
116 118
117 and str' = 119 and str' =
118 StrConst of decl list 120 StrConst of decl list
119 | StrVar of int 121 | StrVar of int
120 | StrProj of str * string 122 | StrProj of str * string