From 3a068f37f49b56efcb3bb2d99973bf3c4b4c9905 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 20 Jun 2023 22:13:40 +0200
Subject: Add tests for function application

---
 tests.snug | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

(limited to 'tests.snug')

diff --git a/tests.snug b/tests.snug
index 8873481..698e71f 100644
--- a/tests.snug
+++ b/tests.snug
@@ -6,3 +6,21 @@
 	(Tuple a b)))
 
 (test "printing tuples" : Tuple Int Int : (Tuple 1 2) "(1,2)")
+
+(fun id ((x : Int)) : Int :
+	x)
+(fun const ((x : Int) (y : Int)) : Int :
+	x)
+(fun tuple ((x : Int) (y : Int)) : Tuple Int Int :
+	Tuple x y)
+(fun swapped_tuple ((x : Int) (y : Int)) : Tuple Int Int :
+	Tuple y x)
+
+(test "function application (id)" : Int : (id 1) "1")
+(test "function application (id)" : Int : (id (id 2)) "2")
+(test "function application (id)" : Int : (id (id (id 3))) "3")
+(test "function application (const)" : Int : (const 1 2) "1")
+(test "function application (const)" : Int : (const (const 1 2) 3) "1")
+(test "function application (const)" : Int : (const 1 (const 2 3)) "1")
+(test "function application (tuple)" : Tuple Int Int : (tuple 10 20) "(10,20)")
+(test "function application (swapped_tuple)" : Tuple Int Int : (swapped_tuple 10 20) "(20,10)")
-- 
cgit v1.2.3