Mercurial > urweb

comparison src/elab.sml @ 162:06a98129b23f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add datatype import constructor annotations; datatypes through explify
author Adam Chlipala <adamc@hcoop.net>
date Tue, 29 Jul 2008 12:30:04 -0400
parents 34ccd7d2bea8
children c7a6e6dbc318
comparison
equal deleted inserted replaced
161:a5ae7b3e37a4 162:06a98129b23f
92 92
93 datatype sgn_item' = 93 datatype sgn_item' =
94 SgiConAbs of string * int * kind 94 SgiConAbs of string * int * kind
95 | SgiCon of string * int * kind * con 95 | SgiCon of string * int * kind * con
96 | SgiDatatype of string * int * (string * int * con option) list 96 | SgiDatatype of string * int * (string * int * con option) list
97 | SgiDatatypeImp of string * int * int * string list * string 97 | SgiDatatypeImp of string * int * int * string list * string * (string * int * con option) list
98 | SgiVal of string * int * con 98 | SgiVal of string * int * con
99 | SgiStr of string * int * sgn 99 | SgiStr of string * int * sgn
100 | SgiSgn of string * int * sgn 100 | SgiSgn of string * int * sgn
101 | SgiConstraint of con * con 101 | SgiConstraint of con * con
102 102
112 and sgn = sgn' located 112 and sgn = sgn' located
113 113
114 datatype decl' = 114 datatype decl' =
115 DCon of string * int * kind * con 115 DCon of string * int * kind * con
116 | DDatatype of string * int * (string * int * con option) list 116 | DDatatype of string * int * (string * int * con option) list
117 | DDatatypeImp of string * int * int * string list * string 117 | DDatatypeImp of string * int * int * string list * string * (string * int * con option) list
118 | DVal of string * int * con * exp 118 | DVal of string * int * con * exp
119 | DValRec of (string * int * con * exp) list 119 | DValRec of (string * int * con * exp) list
120 | DSgn of string * int * sgn 120 | DSgn of string * int * sgn
121 | DStr of string * int * sgn * str 121 | DStr of string * int * sgn * str
122 | DFfiStr of string * int * sgn 122 | DFfiStr of string * int * sgn