]> Git — Sourcephile - comptalang.git/blob - cli/Hcompta/Expr/Dup/Test.hs
Adapte hcompta-cli.
[comptalang.git] / 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