cli/Hcompta/Expr/Dup/Test.hs

   1 {-# LANGUAGE FlexibleContexts #-}
   2 {-# LANGUAGE NoImplicitPrelude #-}
   3 {-# LANGUAGE NoMonomorphismRestriction #-}
   4 {-# LANGUAGE OverloadedStrings #-}
   5 {-# OPTIONS_GHC -fno-warn-missing-signatures #-}
   6 {-# OPTIONS_GHC -fno-warn-tabs #-}
   7
   8 module Expr.Dup.Test where
   9
  10 import Data.Bool (Bool(..))
  11 import Data.Function (($))
  12
  13 import Hcompta.Expr.Lit
  14 import Hcompta.Expr.Bool
  15 import Hcompta.Expr.Fun
  16
  17 -- e1 :: (Boo repr, Lit repr) => repr Bool
  18 e1 = lit True `and` neg (lit True `and` lit True)
  19 e2 = let_val (lit True) $ \x -> lit True `and` x
  20