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          ]