From 4ce6adb6f5dc6623b903853322be726a9f95a3b8 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Wed, 29 Nov 2023 11:26:28 +0100
Subject: Continue with cases WIP: todo is matching code for basic values and
 adding locals for constructor arguments in a pattern

---
 snug-clean/src/Snug/Syntax.dcl | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'snug-clean/src/Snug/Syntax.dcl')

diff --git a/snug-clean/src/Snug/Syntax.dcl b/snug-clean/src/Snug/Syntax.dcl
index f6ff0f2..88fefde 100644
--- a/snug-clean/src/Snug/Syntax.dcl
+++ b/snug-clean/src/Snug/Syntax.dcl
@@ -11,6 +11,9 @@ from Data.Set import :: Set
 	= Type !TypeIdent
 	| TyVar !TypeVarIdent
 	| TyApp !Type !Type
+	| TyFun !Type !Type
+
+	| ..
 
 :: ConstructorDef
 	= ConstructorDef !ConstructorIdent ![Type]
-- 
cgit v1.2.3