(test "printing integers" : Int : 37 "37")
(test "printing integers" : Int : -37 "-37")
(test "printing characters" : Char : 'a' "'a'")

(data Tuple (a b) (
	(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)")