Mercurial > urweb

comparison src/core.sml @ 807:61a1f5c5ae2c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mutual datatypes through Effectize
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 May 2009 15:45:12 -0400
parents 8688e01ae469
children ed06e25c70ef
comparison
equal deleted inserted replaced
806:0e554bfd6d6a 807:61a1f5c5ae2c
122 datatype effect = datatype Export.effect 122 datatype effect = datatype Export.effect
123 datatype export_kind = datatype Export.export_kind 123 datatype export_kind = datatype Export.export_kind
124 124
125 datatype decl' = 125 datatype decl' =
126 DCon of string * int * kind * con 126 DCon of string * int * kind * con
127 | DDatatype of string * int * string list * (string * int * con option) list 127 | DDatatype of (string * int * string list * (string * int * con option) list) list
128 | DVal of string * int * con * exp * string 128 | DVal of string * int * con * exp * string
129 | DValRec of (string * int * con * exp * string) list 129 | DValRec of (string * int * con * exp * string) list
130 | DExport of export_kind * int 130 | DExport of export_kind * int
131 | DTable of string * int * con * string * exp * con * exp * con 131 | DTable of string * int * con * string * exp * con * exp * con
132 | DSequence of string * int * string 132 | DSequence of string * int * string