From bef69954307005832dca731aff9a7b008c88c8d8 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 26 Jun 2008 09:48:54 -0400
Subject: Elaborating cfold

---
 src/source.sml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/source.sml')

diff --git a/src/source.sml b/src/source.sml
index 9ea1ea20..2246399b 100644
--- a/src/source.sml
+++ b/src/source.sml
@@ -51,12 +51,13 @@ datatype con' =
 
        | CVar of string list * string
        | CApp of con * con
-       | CAbs of string * kind * con
+       | CAbs of string * kind option * con
 
        | CName of string
 
        | CRecord of (con * con) list
        | CConcat of con * con
+       | CFold
 
        | CWild of kind
 
-- 
cgit v1.2.3