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

module Expr.If.Test where

import Data.Bool (Bool(..))

import Hcompta.Expr.Lit
import Hcompta.Expr.Bool
import Hcompta.Expr.If

e1 = if_ (lit True) (lit False) (lit True)
e2 = if_ (lit True `and` lit True) (lit False) (lit True)