comparison src/mono.sml @ 126:76a4d69719d8

Tagging (non-mutual) 'val rec'
author Adam Chlipala <adamc@hcoop.net>
date Thu, 17 Jul 2008 10:38:03 -0400
parents 6230bdd122e7
children f0d3402184d1
comparison
equal deleted inserted replaced
125:fd98dd10dce7 126:76a4d69719d8
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 DVal of string * int * typ * exp * string
64 | DValRec of (string * int * typ * exp * string) list
64 | DExport of string * int * typ list 65 | DExport of string * int * typ list
65 66
66 withtype decl = decl' located 67 withtype decl = decl' located
67 68
68 type file = decl list 69 type file = decl list