Make stack flags customizable in GNUmakefile.

[haskell/symantic.git] / symantic-lib / Language / Symantic / Lib / Tuple2 / Test.hs

diff --git a/symantic-lib/Language/Symantic/Lib/Tuple2/Test.hs b/symantic-lib/Language/Symantic/Lib/Tuple2/Test.hs
index 0a90bbee0aa5a7a49f31d5bad2e2905ef30372a9..96e01afe788d7a4eb3ba526112aae26a738d29d1 100644 (file)
--- a/symantic-lib/Language/Symantic/Lib/Tuple2/Test.hs
+++ b/symantic-lib/Language/Symantic/Lib/Tuple2/Test.hs
@@ -6,24 +6,24 @@ import Test.Tasty
 import Data.Proxy (Proxy(..))
 import Prelude hiding ((&&), not, (||))
 
-import Language.Symantic.Typing
-import Compiling.Term.Test
+import Language.Symantic.Lib
+import Compiling.Test
 
-type Ifaces =
+type SS =
  [ Proxy (->)
  , Proxy Integer
  , Proxy ()
  , Proxy (,)
  ]
-(==>) = test_compile @Ifaces
+(==>) = readTe @() @SS
 
 tests :: TestTree
 tests = testGroup "Tuple2"
- [ "()"             ==> Right (ty @(), (), "()")
- , "(,) 1 2"        ==> Right (ty @(,) :$ ty @Integer :$ ty @Integer, (1,2), "(1, 2)")
- , "(1,2)"          ==> Right (ty @(,) :$ ty @Integer :$ ty @Integer, (1,2), "(1, 2)")
+ [ "()"             ==> Right (tyUnit, (), "()")
+ , "(,) 1 2"        ==> Right (tyTuple2 tyInteger tyInteger, (1,2), "(1, 2)")
+ , "(1,2)"          ==> Right (tyTuple2 tyInteger tyInteger, (1,2), "(1, 2)")
  , "((1,2), (3,4))" ==> Right
-        ( let t = ty @(,) :$ ty @Integer :$ ty @Integer in ty @(,) :$ t :$ t
+        ( let t = tyTuple2 tyInteger tyInteger in tyTuple2 t t
         , ((1,2),(3,4))
         , "((1, 2), (3, 4))" )
  ]