diff options
Diffstat (limited to 'tests.snug')
| -rw-r--r-- | tests.snug | 18 |
1 files changed, 18 insertions, 0 deletions
@@ -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)") |