ghc/tests/deSugar/should_compile/ds034.stderr

   1
   2
   3 ================================================================================
   4 Desugared:
   5 Rec {
   6 op2_amz  ::  PrelBase.Int{-3g,W-} -> PrelBase.Int{-3g,W-}
   7 {-# L #-}
   8 op2_amz =
   9     op2_amB
  10 op1_amD  ::  PrelBase.Int{-3g,W-} -> PrelBase.Int{-3g,W-}
  11 {-# L #-}
  12 op1_amD =
  13     op1_amE
  14 op1_akv  ::  PrelBase.Int{-3g,W-} -> PrelBase.Int{-3g,W-}
  15 {-# L #-}
  16 op1_akv =
  17     \ x_r3i  ::  PrelBase.Int{-3g,W-}
  18       {-# L #-}
  19       x_r3i ->
  20         op2_amz x_r3i
  21 op1_amE  ::  PrelBase.Int{-3g,W-} -> PrelBase.Int{-3g,W-}
  22 {-# L #-}
  23 op1_amE =
  24     op1_akv
  25 op2_akF  ::  PrelBase.Int{-3g,W-} -> PrelBase.Int{-3g,W-}
  26 {-# L #-}
  27 op2_akF =
  28     \ y_r3m  ::  PrelBase.Int{-3g,W-}
  29       {-# L #-}
  30       y_r3m ->
  31         op1_amD y_r3m
  32 op2_amB  ::  PrelBase.Int{-3g,W-} -> PrelBase.Int{-3g,W-}
  33 {-# L #-}
  34 op2_amB =
  35     op2_akF
  36 d.Foo_akr  ::  {Foo{-r3q,x-} PrelBase.Int{-3g,W-}}
  37 {-# L #-}
  38 d.Foo_akr =
  39     PrelTup.(,){-62,w-}{i}
  40         {_@_ (PrelBase.Int{-3g,W-} -> PrelBase.Int{-3g,W-})
  41          _@_ (PrelBase.Int{-3g,W-} -> PrelBase.Int{-3g,W-})
  42          op1_amE
  43          op2_amB}
  44 $d1{-rmC,x-}  ::  {Foo{-r3q,x-} PrelBase.Int{-3g,W-}}
  45 {-# L #-}
  46 $d1{-rmC,x-} =
  47     d.Foo_akr
  48 op1{-r3r,x-}  ::  _forall_
  49                   [a_tr3p]
  50                   =>
  51                   {Foo{-r3q,x-} a_tr3p} -> a_tr3p -> a_tr3p
  52 {-# L #-}
  53 op1{-r3r,x-} =
  54     _/\_ t12 -> \ tpl_B1  ::  {Foo{-r3q,x-} t12}
  55                   {-# L #-}
  56                   tpl_B1 ->
  57         case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2  -> tpl_B1;}
  58 op2{-r3s,x-}  ::  _forall_
  59                   [a_tr3p]
  60                   =>
  61                   {Foo{-r3q,x-} a_tr3p} -> a_tr3p -> a_tr3p
  62 {-# L #-}
  63 op2{-r3s,x-} =
  64     _/\_ t12 -> \ tpl_B1  ::  {Foo{-r3q,x-} t12}
  65                   {-# L #-}
  66                   tpl_B1 ->
  67         case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2  -> tpl_B2;}
  68 ds_dnj  ::  _forall_
  69             [takP]
  70             =>
  71             {Foo{-r3q,x-} takP} -> PrelBase.(){-40,W-}
  72 {-# L #-}
  73 ds_dnj =
  74     _/\_ takP -> \ d.Foo_akO  ::  {Foo{-r3q,x-} takP}
  75                    {-# L #-}
  76                    d.Foo_akO ->
  77         PrelBase.(){-60,w-}{i} {}
  78 end Rec }