PatternEq.hascasl.hs revision 3d3889e0cefcdce9b3f43c53aaa201943ac2e895
{-
types:
A__s :: (*, data)
A__t :: (*, data)
values:
a :: A__s
b :: A__s
c :: A__t
x :: A__s
y :: A__t
A__s :: A__s
A__t :: A__t
scope:
Prelude.A__s |-> Prelude.A__s, Type [A__s] []
Prelude.A__s |-> Prelude.A__s, con of A__s
Prelude.A__t |-> Prelude.A__t, Type [A__t] []
Prelude.A__t |-> Prelude.A__t, con of A__t
A__s |-> Prelude.A__s, Type [A__s] []
A__s |-> Prelude.A__s, con of A__s
A__t |-> Prelude.A__t, Type [A__t] []
A__t |-> Prelude.A__t, con of A__t
a |-> Prelude.a, Value
b |-> Prelude.b, Value
c |-> Prelude.c, Value
x |-> Prelude.x, Value
y |-> Prelude.y, Value
-}
module Dummy where
data A__s = A__s
data A__t = A__t
a :: A__s
a = error {- A__s -} "a"
b :: A__s
c :: A__t
x :: A__s
x = error {- A__s -} "x"
y :: A__t
y = error {- A__t -} "y"
b = a
c = snd (x, y)