Mercurial > urweb

comparison src/core.sml @ 163:80192edca30d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Datatypes through corify
author Adam Chlipala <adamc@hcoop.net>
date Tue, 29 Jul 2008 13:16:21 -0400
parents 7420fa18d657
children 5d030ee143e2
comparison
equal deleted inserted replaced
162:06a98129b23f 163:80192edca30d
85 Link 85 Link
86 | Action 86 | Action
87 87
88 datatype decl' = 88 datatype decl' =
89 DCon of string * int * kind * con 89 DCon of string * int * kind * con
90 | DDatatype of string * int * (string * int * con option) list
90 | DVal of string * int * con * exp * string 91 | DVal of string * int * con * exp * string
91 | DValRec of (string * int * con * exp * string) list 92 | DValRec of (string * int * con * exp * string) list
92 | DExport of export_kind * int 93 | DExport of export_kind * int
93 94
94 withtype decl = decl' located 95 withtype decl = decl' located