diff 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
line wrap: on
line diff
--- a/src/mono.sml	Sun Jul 20 13:30:19 2008 -0400
+++ b/src/mono.sml	Tue Jul 22 15:12:20 2008 -0400
@@ -62,7 +62,7 @@
 datatype decl' =
          DVal of string * int * typ * exp * string
        | DValRec of (string * int * typ * exp * string) list
-       | DExport of string * int * typ list
+       | DExport of Core.export_kind * string * int * typ list
 
 withtype decl = decl' located