X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftests%2FdeSugar%2Fds034.stderr;fp=ghc%2Fcompiler%2Ftests%2FdeSugar%2Fds034.stderr;h=0000000000000000000000000000000000000000;hb=29b46083beaa048af4b4a68e8f96909ac98a639f;hp=9a2659f841d799e6d3a7db8e846e58c98358bdb9;hpb=3436a37c72644f82471a7d8c684d67438b86cc3a;p=ghc-hetmet.git diff --git a/ghc/compiler/tests/deSugar/ds034.stderr b/ghc/compiler/tests/deSugar/ds034.stderr deleted file mode 100644 index 9a2659f..0000000 --- a/ghc/compiler/tests/deSugar/ds034.stderr +++ /dev/null @@ -1,110 +0,0 @@ - - -================================================================================ -Desugared: -Rec { -op1{-r3r,x-} :: - _forall_ - [a{-r3p-}] - => - {Foo{-r3s,x-} a{-r3p-}} -> a{-r3p-} -> a{-r3p-} -{-# L #-} -op1{-r3r,x-} = - _/\_ a{-r3p-} -> \ tpl_B1 :: - {Foo{-r3s,x-} a{-r3p-}} - {-# L #-} - tpl_B1 -> - case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2 -> tpl_B1;} -op2{-r3q,x-} :: - _forall_ - [a{-r3p-}] - => - {Foo{-r3s,x-} a{-r3p-}} -> a{-r3p-} -> a{-r3p-} -{-# L #-} -op2{-r3q,x-} = - _/\_ a{-r3p-} -> \ tpl_B1 :: - {Foo{-r3s,x-} a{-r3p-}} - {-# L #-} - tpl_B1 -> - case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2 -> tpl_B2;} -$mop1{-rn8,x-} :: - _forall_ - [a{-r3p-}] - => - {Foo{-r3s,x-} a{-r3p-}} -> a{-r3p-} -> a{-r3p-} -{-# L #-} -$mop1{-rn8,x-} = - _/\_ a{-anB-} -> \ d.Foo_anu :: - {Foo{-r3s,x-} a{-anB-}} - {-# L #-} - d.Foo_anu -> - GHCerr.noDefaultMethodError{-8k,p-} - _@_ (a{-anB-} -> a{-anB-}) _string_ "Class Foo Method op1" -$mop2{-rn7,x-} :: - _forall_ - [a{-r3p-}] - => - {Foo{-r3s,x-} a{-r3p-}} -> a{-r3p-} -> a{-r3p-} -{-# L #-} -$mop2{-rn7,x-} = - _/\_ a{-anB-} -> \ d.Foo_anE :: - {Foo{-r3s,x-} a{-anB-}} - {-# L #-} - d.Foo_anE -> - GHCerr.noDefaultMethodError{-8k,p-} - _@_ (a{-anB-} -> a{-anB-}) _string_ "Class Foo Method op2" -op2_aq8 :: - PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-} -{-# L #-} -op2_aq8 = - op2_aqv -op1_aqd :: - PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-} -{-# L #-} -op1_aqd = - op1_aqm -op1_an6 :: - PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-} -{-# L #-} -op1_an6 = - \ x_r3i :: - PrelBase.Int{-3g,p-} - {-# L #-} - x_r3i -> - op2_aq8 - x_r3i -op1_aqm :: - PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-} -{-# L #-} -op1_aqm = - op1_an6 -op2_anj :: - PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-} -{-# L #-} -op2_anj = - \ y_r3m :: - PrelBase.Int{-3g,p-} - {-# L #-} - y_r3m -> - op1_aqd - y_r3m -op2_aqv :: - PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-} -{-# L #-} -op2_aqv = - op2_anj -d.Foo_an3 :: - {Foo{-r3s,x-} PrelBase.Int{-3g,p-}} -{-# L #-} -d.Foo_an3 = - PrelTup.(,){-62,p-}{i} - {_@_ (PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-}) - _@_ (PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-}) - op1_aqm - op2_aqv} -$d1{-rqE,x-} :: - {Foo{-r3s,x-} PrelBase.Int{-3g,p-}} -{-# L #-} -$d1{-rqE,x-} = - d.Foo_an3 -end Rec }