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

module Expr.Fun.Test where

import Data.Bool (Bool(..))
import Data.Function (($), id)

import Hcompta.Expr.Lit
import Hcompta.Expr.Bool
import Hcompta.Expr.Fun

e1 = val $ \x -> val $ \y -> (x `or` y) `and` neg (x `and` y)
e2 = val $ \x -> val $ \y -> (x `and` neg y) `or` (neg x `and` y)
e3 = let_val (lit True) $ \x -> x `and` x
e4 = let_val (val $ \x -> x `and` x) $ \f -> f `app` lit True
e5 = val $ \x0 -> val $ \x1 -> x0 `and` x1
e6 = let_val (lit True) id `and` lit False
e7 = val $ \f -> and (f `app` lit True) (lit False)
e8 = val $ \f -> f `app` and (lit True) (lit False)