Expr.hascasl.hs revision b87efd3db0d2dc41615ea28669faf80fc1b48d56
{- |
Module : $EmptyHeader$
Description : <optional short description entry>
Copyright : (c) <Authors or Affiliations>
License : GPLv2 or higher
Maintainer : <email>
Stability : unstable | experimental | provisional | stable | frozen
Portability : portable | non-portable (<reason>)
<optional description>
-}
{-
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