1 {-# OPTIONS_GHC -fno-warn-missing-signatures #-}
2 module Lib.Tuple2.Test where
6 import Data.Proxy (Proxy(..))
8 import Language.Symantic.Lib
17 (==>) = readTe @() @SS
20 tests = testGroup "Tuple2"
21 [ "()" ==> Right (tyUnit, (), "()")
22 , "(,) 1 2" ==> Right (tyTuple2 tyInteger tyInteger, (1,2), "(1, 2)")
23 , "(1,2)" ==> Right (tyTuple2 tyInteger tyInteger, (1,2), "(1, 2)")
24 , "((1,2), (3,4))" ==> Right
25 ( let t = tyTuple2 tyInteger tyInteger in tyTuple2 t t
27 , "((1, 2), (3, 4))" )