Mercurial > urweb

comparison src/expl.sml @ 806:0e554bfd6d6a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mutual datatypes through Corify
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 May 2009 15:22:05 -0400
parents 8688e01ae469
children b2311dfb3158
comparison
equal deleted inserted replaced
805:e2780d2f4afc 806:0e554bfd6d6a
113 withtype exp = exp' located 113 withtype exp = exp' located
114 114
115 datatype sgn_item' = 115 datatype sgn_item' =
116 SgiConAbs of string * int * kind 116 SgiConAbs of string * int * kind
117 | SgiCon of string * int * kind * con 117 | SgiCon of string * int * kind * con
118 | SgiDatatype of string * int * string list * (string * int * con option) list 118 | SgiDatatype of (string * int * string list * (string * int * con option) list) list
119 | SgiDatatypeImp of string * int * int * string list * string * string list * (string * int * con option) list 119 | SgiDatatypeImp of string * int * int * string list * string * string list * (string * int * con option) list
120 | SgiVal of string * int * con 120 | SgiVal of string * int * con
121 | SgiSgn of string * int * sgn 121 | SgiSgn of string * int * sgn
122 | SgiStr of string * int * sgn 122 | SgiStr of string * int * sgn
123 123
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
134 datatype decl' = 134 datatype decl' =
135 DCon of string * int * kind * con 135 DCon of string * int * kind * con
136 | DDatatype of string * int * string list * (string * int * con option) list 136 | DDatatype of (string * int * string list * (string * int * con option) list) list
137 | DDatatypeImp of string * int * int * string list * string * string list * (string * int * con option) list 137 | DDatatypeImp of string * int * int * string list * string * string list * (string * int * con option) list
138 | DVal of string * int * con * exp 138 | DVal of string * int * con * exp
139 | DValRec of (string * int * con * exp) list 139 | DValRec of (string * int * con * exp) list
140 | DSgn of string * int * sgn 140 | DSgn of string * int * sgn
141 | DStr of string * int * sgn * str 141 | DStr of string * int * sgn * str