Mercurial > urweb

comparison src/source.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
73 | SgiCon of string * kind option * con 73 | SgiCon of string * kind option * con
74 | SgiVal of string * con 74 | SgiVal of string * con
75 | SgiStr of string * sgn 75 | SgiStr of string * sgn
76 | SgiSgn of string * sgn 76 | SgiSgn of string * sgn
77 | SgiInclude of sgn 77 | SgiInclude of sgn
78 | SgiConstraint of con * con
78 79
79 and sgn' = 80 and sgn' =
80 SgnConst of sgn_item list 81 SgnConst of sgn_item list
81 | SgnVar of string 82 | SgnVar of string
82 | SgnFun of string * sgn * sgn 83 | SgnFun of string * sgn * sgn
108 | DVal of string * con option * exp 109 | DVal of string * con option * exp
109 | DSgn of string * sgn 110 | DSgn of string * sgn
110 | DStr of string * sgn option * str 111 | DStr of string * sgn option * str
111 | DFfiStr of string * sgn 112 | DFfiStr of string * sgn
112 | DOpen of string * string list 113 | DOpen of string * string list
114 | DConstraint of con * con
115 | DOpenConstraints of string * string list
113 116
114 and str' = 117 and str' =
115 StrConst of decl list 118 StrConst of decl list
116 | StrVar of string 119 | StrVar of string
117 | StrProj of str * string 120 | StrProj of str * string