]> Git — Sourcephile - haskell/symantic.git/blob - Language/LOL/Symantic/Repr/Text/Test.hs
init
[haskell/symantic.git] / Language / LOL / Symantic / Repr / Text / Test.hs
1
2 module Repr.Text.Test where
3
4 import Test.Tasty
5 import Test.Tasty.HUnit
6
7 import qualified Data.Text as Text
8
9 import Language.LOL.Symantic.Repr
10 import qualified Expr.Lambda.Test as Lambda.Test
11 import qualified Expr.Bool.Test as Bool.Test
12 import qualified Expr.Maybe.Test as Maybe.Test
13
14 tests :: TestTree
15 tests = testGroup "String" $
16 let (==>) expr expected =
17 testCase (Text.unpack expected) $
18 (@?= expected) $
19 text_from_expr expr in
20 [ testGroup "Bool"
21 [ Bool.Test.e1 ==> "True & False"
22 , Bool.Test.e2 ==> "True & False | True & True"
23 , Bool.Test.e3 ==> "(True | False) & (True | True)"
24 , Bool.Test.e4 ==> "True & !False"
25 , Bool.Test.e5 ==> "True & !x"
26 , Bool.Test.e6 ==> "(x | y) & !(x & y)"
27 , Bool.Test.e7 ==> "((x | y) & !(x & y) | z) & !(((x | y) & !(x & y)) & z)"
28 , Bool.Test.e8 ==> "(x | (y | True) & !(y & True)) & !(x & ((y | True) & !(y & True)))"
29 ]
30 , testGroup "Lambda"
31 [ Lambda.Test.e1 ==> "\\x0 -> (\\x1 -> (x0 | x1) & !(x0 & x1))"
32 , Lambda.Test.e2 ==> "\\x0 -> (\\x1 -> x0 & !x1 | !x0 & x1)"
33 , Lambda.Test.e3 ==> "let x0 = True in x0 & x0"
34 , Lambda.Test.e4 ==> "let x0 = \\x1 -> x1 & x1 in x0 True"
35 , Lambda.Test.e5 ==> "\\x0 -> (\\x1 -> x0 & x1)"
36 , Lambda.Test.e6 ==> "(let x0 = True in x0) & False"
37 , Lambda.Test.e7 ==> "\\x0 -> x0 True & True"
38 , Lambda.Test.e8 ==> "\\x0 -> x0 (True & True)"
39 ]
40 , testGroup "Maybe"
41 [ Maybe.Test.e1 ==> "maybe True (\\x0 -> !x0) (just True)"
42 ]
43 {-, testGroup "If"
44 [ If.e1 ==> "if True then False else True"
45 , If.e2 ==> "if True & True then False else True"
46 ]
47 -}]