From f8d1a7fcf13f655200be366733c24233b5df7f9a Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 7 Sep 2008 11:53:30 -0400
Subject: 'read' type class

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

(limited to 'src/cjr.sml')

diff --git a/src/cjr.sml b/src/cjr.sml
index d4c88246..74c4bca2 100644
--- a/src/cjr.sml
+++ b/src/cjr.sml
@@ -60,6 +60,7 @@ datatype exp' =
        | ERel of int
        | ENamed of int
        | ECon of datatype_kind * patCon * exp option
+       | ESome of typ * exp
        | EFfi of string * string
        | EFfiApp of string * string * exp list
        | EApp of exp * exp
-- 
cgit v1.2.3