]> Git — Sourcephile - haskell/symantic.git/blob - Language/LOL/Symantic/Expr/Eq/Test.hs
init
[haskell/symantic.git] / Language / LOL / Symantic / Expr / Eq / Test.hs
1 {-# LANGUAGE NoMonomorphismRestriction #-}
2 {-# LANGUAGE FlexibleContexts #-}
3 {-# OPTIONS_GHC -fno-warn-missing-signatures #-}
4
5 module Expr.Eq.Test where
6
7 import Test.Tasty
8
9 import Prelude hiding (and, not, or)
10
11 import Language.LOL.Symantic.Expr.Bool
12 import Language.LOL.Symantic.Expr.If
13 import Language.LOL.Symantic.Expr.Eq
14
15 -- * Expressions
16 t = bool True
17 f = bool False
18 e1 = if_ ((t `and` t) `eq` (t `or` f)) t f
19 e2 = if_ (((t `and` t) `or` f) `eq` (t `and` (t `or` f))) t f
20 e3 = if_ (not (t `eq` f) `eq` (t `eq` t)) t f
21
22
23 tests :: TestTree
24 tests =
25 testGroup "Eq"
26 [
27 ]