[project @ 1997-09-05 14:11:05 by simonm]
[ghc-hetmet.git] / ghc / tests / deSugar / should_compile / ds027.stderr
index 3d500d9..a5be5a5 100644 (file)
-ds027.hs:8: 
-    Warning: Possibly incomplete patterns
-       in the definition of function `=='
 ds027.hs:9: 
     Warning: Possibly incomplete patterns
        in the definition of function `/='
+ds027.hs:8: 
+    Warning: Possibly incomplete patterns
+       in the definition of function `=='
 
 
 ================================================================================
 Desugared:
 Rec {
-d.Eval_aGg  :: 
-    {PrelBase.Eval{-24,p-} Foo{-r3n,x-}}
+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_aGg =
-    PrelBase.void{-8G,p-}
-$d2{-rIX,x-}  :: 
-    {PrelBase.Eval{-24,p-} Foo{-r3n,x-}}
+d.Eval_aB7 =
+    PrelBase.void{-8G,w-}
+$d2{-rE9,x-}  ::  {PrelBase.Eval{-24,p-} Foo{-r3m,x-}}
 {-# L #-}
-$d2{-rIX,x-} =
-    d.Eval_aGg
-==_aGo  :: 
-    Foo{-r3n,x-} -> Foo{-r3n,x-} -> PrelBase.Bool{-34,p-}
+$d2{-rE9,x-} =
+    d.Eval_aB7
+==_aBg  ::  Foo{-r3m,x-} -> Foo{-r3m,x-} -> PrelBase.Bool{-34,W-}
 {-# L #-}
-==_aGo =
-    \ ds_dJM  :: 
-         Foo{-r3n,x-}
+==_aBg =
+    \ ds_dEQ  ::  Foo{-r3m,x-}
       {-# L #-}
-      ds_dJM ds_dJN  :: 
-                Foo{-r3n,x-}
+      ds_dEQ ds_dER  ::  Foo{-r3m,x-}
             {-# L #-}
-            ds_dJN ->
+            ds_dER ->
        let {
-         fail_dJO  :: 
-             PrelBase.Bool{-34,p-}
+         fail_dES  ::  PrelBase.Bool{-34,W-}
          {-# L #-}
-         fail_dJO =
-             GHCerr.patError{-8r,p-}
-                 _@_ PrelBase.Bool{-34,p-} _string_ "ds027.hs:8|function `=='"
+         fail_dES =
+             GHCerr.patError{-8r,w-}
+                 _@_ PrelBase.Bool{-34,W-} _string_ "ds027.hs:8|function `=='"
        } in 
-         case ds_dJM of {
-           Baz{-r3,x-}{i} ->
-               fail_dJO;
+         case ds_dEQ of {
+           Baz{-r3,x-}{i} -> fail_dES;
            Bar{-r4,x-}{i} ->
-               case ds_dJN of {
-                 Bar{-r4,x-}{i} ->
-                     fail_dJO;
-                 Baz{-r3,x-}{i} ->
-                     PrelBase.True{-5E,p-}{i};
+               case ds_dER of {
+                 Bar{-r4,x-}{i} -> fail_dES;
+                 Baz{-r3,x-}{i} -> PrelBase.True{-5E,w-}{i};
                };
          }
-==_aJ7  :: 
-    Foo{-r3n,x-} -> Foo{-r3n,x-} -> PrelBase.Bool{-34,p-}
+==_aEk  ::  Foo{-r3m,x-} -> Foo{-r3m,x-} -> PrelBase.Bool{-34,W-}
 {-# L #-}
-==_aJ7 =
-    ==_aGo
-/=_aGs  :: 
-    Foo{-r3n,x-} -> Foo{-r3n,x-} -> PrelBase.Bool{-34,p-}
+==_aEk =
+    ==_aBg
+/=_aBl  ::  Foo{-r3m,x-} -> Foo{-r3m,x-} -> PrelBase.Bool{-34,W-}
 {-# L #-}
-/=_aGs =
-    \ ds_dKq  :: 
-         Foo{-r3n,x-}
+/=_aBl =
+    \ ds_dFu  ::  Foo{-r3m,x-}
       {-# L #-}
-      ds_dKq ds_dKr  :: 
-                Foo{-r3n,x-}
+      ds_dFu ds_dFv  ::  Foo{-r3m,x-}
             {-# L #-}
-            ds_dKr ->
+            ds_dFv ->
        let {
-         fail_dKs  :: 
-             PrelBase.Bool{-34,p-}
+         fail_dFw  ::  PrelBase.Bool{-34,W-}
          {-# L #-}
-         fail_dKs =
-             GHCerr.patError{-8r,p-}
-                 _@_ PrelBase.Bool{-34,p-} _string_ "ds027.hs:9|function `/='"
+         fail_dFw =
+             GHCerr.patError{-8r,w-}
+                 _@_ PrelBase.Bool{-34,W-} _string_ "ds027.hs:9|function `/='"
        } in 
-         case ds_dKq of {
-           Baz{-r3,x-}{i} ->
-               fail_dKs;
+         case ds_dFu of {
+           Baz{-r3,x-}{i} -> fail_dFw;
            Bar{-r4,x-}{i} ->
-               case ds_dKr of {
-                 Bar{-r4,x-}{i} ->
-                     fail_dKs;
-                 Baz{-r3,x-}{i} ->
-                     PrelBase.False{-58,p-}{i};
+               case ds_dFv of {
+                 Bar{-r4,x-}{i} -> fail_dFw;
+                 Baz{-r3,x-}{i} -> PrelBase.False{-58,w-}{i};
                };
          }
-/=_aJg  :: 
-    Foo{-r3n,x-} -> Foo{-r3n,x-} -> PrelBase.Bool{-34,p-}
+/=_aEt  ::  Foo{-r3m,x-} -> Foo{-r3m,x-} -> PrelBase.Bool{-34,W-}
 {-# L #-}
-/=_aJg =
-    /=_aGs
-d.Eq_aGl  :: 
-    {PrelBase.Eq{-23,p-} Foo{-r3n,x-}}
+/=_aEt =
+    /=_aBl
+d.Eq_aBc  ::  {PrelBase.Eq{-23,p-} Foo{-r3m,x-}}
 {-# L #-}
-d.Eq_aGl =
-    PrelTup.(,){-62,p-}{i}
-       {_@_ (Foo{-r3n,x-} -> Foo{-r3n,x-} -> PrelBase.Bool{-34,p-})
-        _@_ (Foo{-r3n,x-} -> Foo{-r3n,x-} -> PrelBase.Bool{-34,p-})
-        ==_aJ7
-        /=_aJg}
-$d1{-rJp,x-}  :: 
-    {PrelBase.Eq{-23,p-} Foo{-r3n,x-}}
+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{-rJp,x-} =
-    d.Eq_aGl
-Bar{-r4,x-}{i}  :: 
-    Foo{-r3n,x-}
-_A_ 0 {-# L #-}
-Bar{-r4,x-}{i} =
-    Bar{-r4,x-}{i}
-       {}
-Baz{-r3,x-}{i}  :: 
-    Foo{-r3n,x-}
-_A_ 0 {-# L #-}
-Baz{-r3,x-}{i} =
-    Baz{-r3,x-}{i}
-       {}
+$d1{-rEb,x-} =
+    d.Eq_aBc
 end Rec }