comparison src/mono.sml @ 144:f0d3402184d1

Simple forms work
author Adam Chlipala <adamc@hcoop.net>
date Tue, 22 Jul 2008 15:12:20 -0400
parents 76a4d69719d8
children 6847741e1f5f
comparison
equal deleted inserted replaced
143:4b9c2bd6157c 144:f0d3402184d1
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 | DValRec of (string * int * typ * exp * string) list
65 | DExport of string * int * typ list 65 | DExport of Core.export_kind * string * int * typ list
66 66
67 withtype decl = decl' located 67 withtype decl = decl' located
68 68
69 type file = decl list 69 type file = decl list
70 70