{-# LANGUAGE NoMonomorphismRestriction #-}
{-# LANGUAGE FlexibleContexts #-}
{-# OPTIONS_GHC -fno-warn-missing-signatures #-}

module Expr.Eq.Test where

import Test.Tasty

import Prelude hiding (and, not, or)

import Language.LOL.Symantic.Expr.Bool
import Language.LOL.Symantic.Expr.If
import Language.LOL.Symantic.Expr.Eq

-- * Expressions
t = bool True
f = bool False
e1 = if_ ((t `and` t) `eq` (t `or` f)) t f
e2 = if_ (((t `and` t) `or` f) `eq` (t `and` (t `or` f))) t f
e3 = if_ (not (t `eq` f) `eq` (t `eq` t)) t f
 

tests :: TestTree
tests =
	testGroup "Eq"
	 [
	 ]