Mercurial > urweb
comparison src/elab.sml @ 88:7bab29834cd6
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 |