Mercurial > urweb

comparison src/source.sml @ 805:e2780d2f4afc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mutual datatypes through Elaborate
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 May 2009 15:14:17 -0400
parents 8688e01ae469
children d4e811beb8eb
comparison
equal deleted inserted replaced
804:10fe57e4a8c2 805:e2780d2f4afc
83 | TypesOnly 83 | TypesOnly
84 84
85 datatype sgn_item' = 85 datatype sgn_item' =
86 SgiConAbs of string * kind 86 SgiConAbs of string * kind
87 | SgiCon of string * kind option * con 87 | SgiCon of string * kind option * con
88 | SgiDatatype of string * string list * (string * con option) list 88 | SgiDatatype of (string * string list * (string * con option) list) list
89 | SgiDatatypeImp of string * string list * string 89 | SgiDatatypeImp of string * string list * string
90 | SgiVal of string * con 90 | SgiVal of string * con
91 | SgiTable of string * con * exp * exp 91 | SgiTable of string * con * exp * exp
92 | SgiStr of string * sgn 92 | SgiStr of string * sgn
93 | SgiSgn of string * sgn 93 | SgiSgn of string * sgn
146 and exp = exp' located 146 and exp = exp' located
147 and edecl = edecl' located 147 and edecl = edecl' located
148 148
149 datatype decl' = 149 datatype decl' =
150 DCon of string * kind option * con 150 DCon of string * kind option * con
151 | DDatatype of string * string list * (string * con option) list 151 | DDatatype of (string * string list * (string * con option) list) list
152 | DDatatypeImp of string * string list * string 152 | DDatatypeImp of string * string list * string
153 | DVal of string * con option * exp 153 | DVal of string * con option * exp
154 | DValRec of (string * con option * exp) list 154 | DValRec of (string * con option * exp) list
155 | DSgn of string * sgn 155 | DSgn of string * sgn
156 | DStr of string * sgn option * str 156 | DStr of string * sgn option * str