Language/LOL/Symantic/Repr/Host/Test.hs

   1 {-# LANGUAGE ConstraintKinds #-}
   2 {-# LANGUAGE FlexibleContexts #-}
   3 {-# LANGUAGE OverloadedStrings #-}
   4 {-# LANGUAGE ScopedTypeVariables #-}
   5 {-# LANGUAGE Rank2Types #-}
   6
   7 module Repr.Host.Test where
   8
   9 -- import Data.Function (($))
  10 -- import Data.Functor.Identity (Identity)
  11 import Test.Tasty
  12 import Test.Tasty.HUnit
  13 import Prelude hiding (and, not, or)
  14
  15 import Language.LOL.Symantic.Repr
  16 import Language.LOL.Symantic.Expr
  17 import qualified Expr.Lambda.Test as Lambda.Test
  18 import qualified Expr.Bool.Test as Bool.Test
  19 import qualified Expr.Maybe.Test as Maybe.Test
  20
  21 tests :: TestTree
  22 tests = testGroup "Host" $
  23         let (==>) (expr::forall repr. Sym_of_Expr (Expr_Lambda_Bool_Maybe IO) repr => repr h) expected =
  24                 testCase ((string_from_expr :: Repr_String IO _h -> String) $ expr) $
  25                 (>>= (@?= expected)) $
  26                 host_from_expr expr in
  27  [ testGroup "Bool"
  28          [ Bool.Test.e1 ==> False
  29          , Bool.Test.e2 ==> True
  30          , Bool.Test.e3 ==> True
  31          , Bool.Test.e4 ==> True
  32          ]
  33  , testGroup "Lambda"
  34          [ (Lambda.Test.e1 `app` bool True  `app` bool True)  ==> False
  35          , (Lambda.Test.e1 `app` bool True  `app` bool False) ==> True
  36          , (Lambda.Test.e1 `app` bool False `app` bool True)  ==> True
  37          , (Lambda.Test.e1 `app` bool False `app` bool False) ==> False
  38
  39          , (Lambda.Test.e2 `app` bool True  `app` bool True)  ==> False
  40          , (Lambda.Test.e2 `app` bool True  `app` bool False) ==> True
  41          , (Lambda.Test.e2 `app` bool False `app` bool True)  ==> True
  42          , (Lambda.Test.e2 `app` bool False `app` bool False) ==> False
  43
  44          , Lambda.Test.e3 ==> True
  45          , Lambda.Test.e4 ==> True
  46
  47          , (Lambda.Test.e5 `app` bool True  `app` bool True)  ==> True
  48          , (Lambda.Test.e5 `app` bool True  `app` bool False) ==> False
  49          , (Lambda.Test.e5 `app` bool False `app` bool True)  ==> False
  50          , (Lambda.Test.e5 `app` bool False `app` bool False) ==> False
  51
  52          , Lambda.Test.e6 ==> False
  53          , (Lambda.Test.e7 `app` val id) ==> True
  54          , (Lambda.Test.e7 `app` val not) ==> False
  55          ]
  56  , testGroup "Maybe"
  57          [ Maybe.Test.e1 ==> False
  58          ]
  59  {-, testGroup "If"
  60          [ If.e1 ==> "if True then False else True"
  61          , If.e2 ==> "if True & True then False else True"
  62          ]
  63  -}]