From 92af3391b64df0a2082006c39ed1335dd1bf7256 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 24 Jul 2008 15:02:03 -0400
Subject: Start of datatype support

---
 src/source.sml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/source.sml')

diff --git a/src/source.sml b/src/source.sml
index 9427d6d6..6439aaa4 100644
--- a/src/source.sml
+++ b/src/source.sml
@@ -71,6 +71,8 @@ withtype con = con' located
 datatype sgn_item' =
          SgiConAbs of string * kind
        | SgiCon of string * kind option * con
+       | SgiDatatype of string * (string * con option) list
+       | SgiDatatypeImp of string * string list * string
        | SgiVal of string * con
        | SgiStr of string * sgn
        | SgiSgn of string * sgn
@@ -107,6 +109,8 @@ withtype exp = exp' located
 
 datatype decl' =
          DCon of string * kind option * con
+       | DDatatype of string * (string * con option) list
+       | DDatatypeImp of string * string list * string
        | DVal of string * con option * exp
        | DValRec of (string * con option * exp) list
        | DSgn of string * sgn
-- 
cgit v1.2.3