diff src/core.sml @ 144:f0d3402184d1

Simple forms work
author Adam Chlipala <adamc@hcoop.net>
date Tue, 22 Jul 2008 15:12:20 -0400
parents fd98dd10dce7
children 7420fa18d657
line wrap: on
line diff
--- a/src/core.sml	Sun Jul 20 13:30:19 2008 -0400
+++ b/src/core.sml	Tue Jul 22 15:12:20 2008 -0400
@@ -80,11 +80,15 @@
 
 withtype exp = exp' located
 
+datatype export_kind =
+         Link
+       | Action
+
 datatype decl' =
          DCon of string * int * kind * con
        | DVal of string * int * con * exp * string
        | DValRec of (string * int * con * exp * string) list
-       | DExport of int
+       | DExport of export_kind * int
 
 withtype decl = decl' located