ghc/compiler/tests/deSugar/ds030.stderr

   1 Desugared:
   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
   5         let
   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
  11         let
  12           fail.92 :: Int {- 0 MkInt deriving ( )-} =
  13               let
  14                 dict.91 :: <Num {- Num -} <Num {- Num -} Int {- 0 MkInt deriving ( )-}>> =
  15                     dfun.Num.Int :: <Num {- Num -} Int {- 0 MkInt deriving ( )-}>
  16               in
  17                 MkInt :: IntPrim{- StgInt -} -> Int {- 0 MkInt deriving ( )-}!
  18                     4#
  19         in
  20           case ds.89 :: [t78] of {
  21             [a] {- 1 a Nil, : deriving ( )-}
  22             Nil :: for all a. [a] ->
  23                 let
  24                   dict.93 :: <Num {- Num -} <Num {- Num -} Int {- 0 MkInt deriving ( )-}>> =
  25                       dfun.Num.Int :: <Num {- Num -} Int {- 0 MkInt deriving ( )-}>
  26                 in
  27                   MkInt :: IntPrim{- StgInt -} -> Int {- 0 MkInt deriving ( )-}!
  28                       3#
  29             _ ->  fail.92 :: Int {- 0 MkInt deriving ( )-}
  30           }
  31