X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftests%2FdeSugar%2Fds017.stderr;fp=ghc%2Fcompiler%2Ftests%2FdeSugar%2Fds017.stderr;h=0000000000000000000000000000000000000000;hb=29b46083beaa048af4b4a68e8f96909ac98a639f;hp=bbeb820b9c275119c1dc17cc4f8a69cde9c20807;hpb=3436a37c72644f82471a7d8c684d67438b86cc3a;p=ghc-hetmet.git diff --git a/ghc/compiler/tests/deSugar/ds017.stderr b/ghc/compiler/tests/deSugar/ds017.stderr deleted file mode 100644 index bbeb820..0000000 --- a/ghc/compiler/tests/deSugar/ds017.stderr +++ /dev/null @@ -1,82 +0,0 @@ - - -================================================================================ -Desugared: -f{-r3p,x-} :: - _forall_ - [t{-aBq-} t{-aBs-} t{-aBd-}] - => - t{-aBd-} - -> ((t{-aBq-}, t{-aBq-}) -> t{-aBs-}) - -> t{-aBq-} - -> (t{-aBs-}, [t{-aBd-}]) -{-# L #-} -f{-r3p,x-} = - _/\_ t{-aBq-} t{-aBs-} t{-aBd-} -> \ x_r3d :: - t{-aBd-} - {-# L #-} - x_r3d y_r3f :: - (t{-aBq-}, t{-aBq-}) -> t{-aBs-} - {-# L #-} - y_r3f z_r3h :: - t{-aBq-} - {-# L #-} - z_r3h -> - let { c_aAS :: - t{-aBs-} - {-# L #-} - c_aAS = - let { - ds_dEz :: - (t{-aBq-}, t{-aBq-}) - {-# L #-} - ds_dEz = - PrelTup.(,){-62,p-}{i} - {_@_ t{-aBq-} _@_ t{-aBq-} z_r3h z_r3h} - } in - y_r3f - ds_dEz - } in - let { - c_r3l :: - t{-aBs-} - {-# L #-} - c_r3l = - c_aAS } in - let { a_aB8 :: - [t{-aBd-}] - {-# L #-} - a_aB8 = - let { - ds_dF5 :: - [t{-aBd-}] - {-# L #-} - ds_dF5 = - PrelBase.[]{-5i,p-}{i} - _@_ t{-aBd-} - } in - PrelBase.:{-55,p-}{i} - _@_ t{-aBd-} x_r3d ds_dF5 - } in - let { - a_r3j :: - [t{-aBd-}] - {-# L #-} - a_r3j = - a_aB8 } in - let { - b_aBg :: - [t{-aBd-}] - {-# L #-} - b_aBg = - PrelBase.:{-55,p-}{i} - _@_ t{-aBd-} x_r3d a_r3j } in - let { - b_r3k :: - [t{-aBd-}] - {-# L #-} - b_r3k = - b_aBg - } in - PrelTup.(,){-62,p-}{i} - {_@_ t{-aBs-} _@_ [t{-aBd-}] c_r3l b_r3k}