Mercurial > urweb

comparison src/mono.sml @ 164:6847741e1f5f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Datatypes through monoize
author Adam Chlipala <adamc@hcoop.net>
date Tue, 29 Jul 2008 13:32:07 -0400
parents f0d3402184d1
children 25b169416ea8
comparison
equal deleted inserted replaced
163:80192edca30d 164:6847741e1f5f
58 58
59 59
60 withtype exp = exp' located 60 withtype exp = exp' located
61 61
62 datatype decl' = 62 datatype decl' =
63 DVal of string * int * typ * exp * string 63 DDatatype of string * int * (string * int * typ option) list
64 | DVal of string * int * typ * exp * string
64 | DValRec of (string * int * typ * exp * string) list 65 | DValRec of (string * int * typ * exp * string) list
65 | DExport of Core.export_kind * string * int * typ list 66 | DExport of Core.export_kind * string * int * typ list
66 67
67 withtype decl = decl' located 68 withtype decl = decl' located
68 69