From 5cf1d4d086475575a31f57413c57c22bd6fda378 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 7 Sep 2008 11:33:13 -0400
Subject: Converting string to int

---
 src/cjr.sml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/cjr.sml')

diff --git a/src/cjr.sml b/src/cjr.sml
index 398f94c6..d4c88246 100644
--- a/src/cjr.sml
+++ b/src/cjr.sml
@@ -36,6 +36,7 @@ datatype typ' =
        | TRecord of int
        | TDatatype of datatype_kind * int * (string * int * typ option) list ref
        | TFfi of string * string
+       | TOption of typ
 
 withtype typ = typ' located
 
@@ -49,6 +50,8 @@ datatype pat' =
        | PPrim of Prim.t
        | PCon of datatype_kind * patCon * pat option
        | PRecord of (string * pat * typ) list
+       | PNone of typ
+       | PSome of typ * pat
 
 withtype pat = pat' located
 
-- 
cgit v1.2.3