Expr.hascasl.hs revision 334a30370741c8db19519f28c2e8ef7b8c069f55
{-
values:
a :: Bool
b :: Bool -> Bool
b_02 :: Bool
notA :: Bool
scope:
Prelude.b_02 |-> Prelude.b_02, Value
Prelude.notA |-> Prelude.notA, Value
a |-> Prelude.a, Value
b |-> Prelude.b, Value
b_02 |-> Prelude.b_02, Value
notA |-> Prelude.notA, Value
-}
module Dummy where
a :: Bool
b_02 :: Bool
b :: Bool -> Bool
notA :: Bool
a = True
notA
=
case a of
True -> False
False -> True
b_02
=
let x = True
y = False
z = x
{-
x :: Bool
y :: Bool
z :: Bool
-}
in True
b = \ x -> x