2 Test.f :: for all d. [d] -> Int {- 0 MkInt deriving ( )-} =
3 /\ t78 -> \ x.88 :: [t78] ->
4 let ds.89 :: [t78] = x.88 :: [t78] in
6 fail.90 :: Int {- 0 MkInt deriving ( )-} =
7 ({-CoTyApp-} error :: for all a.
8 [Char {- 0 MkChar deriving ( )-}] -> a
9 Int {- 0 MkInt deriving ( )-})
10 "\"ds030.hs\", line 5: pattern-matching failed in case\n"S in
12 fail.92 :: Int {- 0 MkInt deriving ( )-} =
14 dict.91 :: <Num {- Num -} <Num {- Num -} Int {- 0 MkInt deriving ( )-}>> =
15 dfun.Num.Int :: <Num {- Num -} Int {- 0 MkInt deriving ( )-}>
17 MkInt :: IntPrim{- StgInt -} -> Int {- 0 MkInt deriving ( )-}!
20 case ds.89 :: [t78] of {
21 [a] {- 1 a Nil, : deriving ( )-}
22 Nil :: for all a. [a] ->
24 dict.93 :: <Num {- Num -} <Num {- Num -} Int {- 0 MkInt deriving ( )-}>> =
25 dfun.Num.Int :: <Num {- Num -} Int {- 0 MkInt deriving ( )-}>
27 MkInt :: IntPrim{- StgInt -} -> Int {- 0 MkInt deriving ( )-}!
29 _ -> fail.92 :: Int {- 0 MkInt deriving ( )-}