cli/Hcompta/Expr/If/Test.hs

   1 {-# LANGUAGE FlexibleContexts #-}
   2 {-# LANGUAGE NoImplicitPrelude #-}
   3 {-# LANGUAGE NoMonomorphismRestriction #-}
   4 {-# OPTIONS_GHC -fno-warn-missing-signatures #-}
   5 {-# OPTIONS_GHC -fno-warn-tabs #-}
   6
   7 module Expr.If.Test where
   8
   9 import Data.Bool (Bool(..))
  10
  11 import Hcompta.Expr.Lit
  12 import Hcompta.Expr.Bool
  13 import Hcompta.Expr.If
  14
  15 e1 = if_ (lit True) (lit False) (lit True)
  16 e2 = if_ (lit True `and` lit True) (lit False) (lit True)