From aa1b3a24913edd0dc97af0d1fc9e3dc0026a2460 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 29 Jul 2008 16:38:15 -0400
Subject: Parsing basic patterns

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

(limited to 'src/source.sml')

diff --git a/src/source.sml b/src/source.sml
index 6439aaa4..b11828f0 100644
--- a/src/source.sml
+++ b/src/source.sml
@@ -89,6 +89,13 @@ and sgn' =
 withtype sgn_item = sgn_item' located
 and sgn = sgn' located
 
+datatype pat' =
+         PWild
+       | PVar of string
+       | PCon of string list * string * pat option
+
+withtype pat = pat' located
+
 datatype exp' =
          EAnnot of exp * con
 
@@ -105,6 +112,8 @@ datatype exp' =
        | ECut of exp * con
        | EFold
 
+       | ECase of exp * (pat * exp) list
+
 withtype exp = exp' located
 
 datatype decl' =
-- 
cgit v1.2.3