Test.hascasl.hs revision 8561bd2b32a5bfb81f18760fc9c221ddd0365031
{-
types:
AT :: (*, data)
A__s :: (*, type _ = B)
B :: (*, data)
C :: (*, data)
values:
a___P :: (AT, B) -> C
f :: B -> B
f_02 :: C -> C
s1 :: AT -> Int
s2 :: AT -> B
A :: (Int, B) -> AT
B :: B
C :: C
scope:
Prelude.AT |-> Prelude.AT, Type [A] []
Prelude.A__s |-> Prelude.A__s, Type [] []
Prelude.a___P |-> Prelude.a___P, Value
Prelude.f_02 |-> Prelude.f_02, Value
Prelude.s1 |-> Prelude.s1, Value
Prelude.s2 |-> Prelude.s2, Value
A |-> Prelude.A, con of AT
AT |-> Prelude.AT, Type [A] []
A__s |-> Prelude.A__s, Type [] []
B |-> Prelude.B, Type [B] []
B |-> Prelude.B, con of B
C |-> Prelude.C, Type [C] []
C |-> Prelude.C, con of C
a___P |-> Prelude.a___P, Value
f |-> Prelude.f, Value
f_02 |-> Prelude.f_02, Value
s1 |-> Prelude.s1, Value
s2 |-> Prelude.s2, Value
-}
module Dummy where
data B = B
data C = C
type A__s = B
a___P :: (AT, B) -> C
a___P = error{-((AT, B) -> C)-} "a___P"
f_02 :: C -> C
f_02 = error{-(C -> C)-} "f_02"
f :: B -> B
f = error{-(B -> B)-} "f"
s1 :: AT -> Int
s2 :: AT -> B
s1 (A (x_11_11, x_11_12)) = x_11_11
s2 (A (x_11_11, x_11_12)) = x_11_12
data AT = A !(Int, B)