From 0186af3d727b1b92e7b63925500a21d5e412d7b4 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 9 Aug 2008 19:23:31 -0400
Subject: 'Option' datatype encoding

---
 src/elab.sml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/elab.sml')

diff --git a/src/elab.sml b/src/elab.sml
index c04b5d23..011bc8d2 100644
--- a/src/elab.sml
+++ b/src/elab.sml
@@ -73,6 +73,7 @@ withtype con = con' located
 
 datatype datatype_kind =
          Enum
+       | Option
        | Default
 
 datatype patCon =
-- 
cgit v1.2.3