[project @ 1997-09-24 11:08:42 by simonm]
[ghc-hetmet.git] / ghc / tests / deSugar / should_compile / ds027.stderr
index a5be5a5..a90c1ac 100644 (file)
@@ -4,91 +4,3 @@ ds027.hs:9:
 ds027.hs:8: 
     Warning: Possibly incomplete patterns
        in the definition of function `=='
-
-
-================================================================================
-Desugared:
-Rec {
-Bar{-r4,x-}{i}  ::  Foo{-r3m,x-}
-_A_ 0 {-# L #-}
-Bar{-r4,x-}{i} =
-    Bar{-r4,x-}{i} {}
-Baz{-r3,x-}{i}  ::  Foo{-r3m,x-}
-_A_ 0 {-# L #-}
-Baz{-r3,x-}{i} =
-    Baz{-r3,x-}{i} {}
-d.Eval_aB7  ::  {PrelBase.Eval{-24,p-} Foo{-r3m,x-}}
-{-# L #-}
-d.Eval_aB7 =
-    PrelBase.void{-8G,w-}
-$d2{-rE9,x-}  ::  {PrelBase.Eval{-24,p-} Foo{-r3m,x-}}
-{-# L #-}
-$d2{-rE9,x-} =
-    d.Eval_aB7
-==_aBg  ::  Foo{-r3m,x-} -> Foo{-r3m,x-} -> PrelBase.Bool{-34,W-}
-{-# L #-}
-==_aBg =
-    \ ds_dEQ  ::  Foo{-r3m,x-}
-      {-# L #-}
-      ds_dEQ ds_dER  ::  Foo{-r3m,x-}
-            {-# L #-}
-            ds_dER ->
-       let {
-         fail_dES  ::  PrelBase.Bool{-34,W-}
-         {-# L #-}
-         fail_dES =
-             GHCerr.patError{-8r,w-}
-                 _@_ PrelBase.Bool{-34,W-} _string_ "ds027.hs:8|function `=='"
-       } in 
-         case ds_dEQ of {
-           Baz{-r3,x-}{i} -> fail_dES;
-           Bar{-r4,x-}{i} ->
-               case ds_dER of {
-                 Bar{-r4,x-}{i} -> fail_dES;
-                 Baz{-r3,x-}{i} -> PrelBase.True{-5E,w-}{i};
-               };
-         }
-==_aEk  ::  Foo{-r3m,x-} -> Foo{-r3m,x-} -> PrelBase.Bool{-34,W-}
-{-# L #-}
-==_aEk =
-    ==_aBg
-/=_aBl  ::  Foo{-r3m,x-} -> Foo{-r3m,x-} -> PrelBase.Bool{-34,W-}
-{-# L #-}
-/=_aBl =
-    \ ds_dFu  ::  Foo{-r3m,x-}
-      {-# L #-}
-      ds_dFu ds_dFv  ::  Foo{-r3m,x-}
-            {-# L #-}
-            ds_dFv ->
-       let {
-         fail_dFw  ::  PrelBase.Bool{-34,W-}
-         {-# L #-}
-         fail_dFw =
-             GHCerr.patError{-8r,w-}
-                 _@_ PrelBase.Bool{-34,W-} _string_ "ds027.hs:9|function `/='"
-       } in 
-         case ds_dFu of {
-           Baz{-r3,x-}{i} -> fail_dFw;
-           Bar{-r4,x-}{i} ->
-               case ds_dFv of {
-                 Bar{-r4,x-}{i} -> fail_dFw;
-                 Baz{-r3,x-}{i} -> PrelBase.False{-58,w-}{i};
-               };
-         }
-/=_aEt  ::  Foo{-r3m,x-} -> Foo{-r3m,x-} -> PrelBase.Bool{-34,W-}
-{-# L #-}
-/=_aEt =
-    /=_aBl
-d.Eq_aBc  ::  {PrelBase.Eq{-23,p-} Foo{-r3m,x-}}
-{-# L #-}
-d.Eq_aBc =
-    PrelTup.(,){-62,w-}{i}
-       {_@_ (Foo{-r3m,x-} -> Foo{-r3m,x-} -> PrelBase.Bool{-34,W-})
-        _@_ (Foo{-r3m,x-} -> Foo{-r3m,x-} -> PrelBase.Bool{-34,W-})
-        ==_aEk
-        /=_aEt}
-$d1{-rEb,x-}  ::  {PrelBase.Eq{-23,p-} Foo{-r3m,x-}}
-{-# L #-}
-$d1{-rEb,x-} =
-    d.Eq_aBc
-end Rec }