Mercurial > urweb

comparison src/core.sml @ 125:fd98dd10dce7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Corifying (non-mutual) 'val rec'
author Adam Chlipala <adamc@hcoop.net>
date Thu, 17 Jul 2008 10:23:04 -0400
parents 3739af9e727a
children f0d3402184d1
comparison
equal deleted inserted replaced
124:541282b81454 125:fd98dd10dce7
81 withtype exp = exp' located 81 withtype exp = exp' located
82 82
83 datatype decl' = 83 datatype decl' =
84 DCon of string * int * kind * con 84 DCon of string * int * kind * con
85 | DVal of string * int * con * exp * string 85 | DVal of string * int * con * exp * string
86 | DValRec of (string * int * con * exp * string) list
86 | DExport of int 87 | DExport of int
87 88
88 withtype decl = decl' located 89 withtype decl = decl' located
89 90
90 type file = decl list 91 type file = decl list