[project @ 1999-01-23 18:05:12 by sof]

[ghc-hetmet.git] / ghc / tests / reader / should_fail / read001.stderr

diff --git a/ghc/tests/reader/should_fail/read001.stderr b/ghc/tests/reader/should_fail/read001.stderr
index 6cd9d9d..23b140c 100644 (file)
--- a/ghc/tests/reader/should_fail/read001.stderr
+++ b/ghc/tests/reader/should_fail/read001.stderr
@@ -5,16 +5,13 @@ module OneOfEverything (
                                                          EqBranch), EqClass(..), OrdClass(orda,
                                                                                           ordb), module OneC, module OneOfEverything
     ) where
-import qualified OneA
-import OneB (fB)
-import OneC hiding (fC)
-import OneC hiding (fC)
-infix 6 fixn
-infixl 7 +#
-infixr 8 fixr
+import Prelude
+import IO (putStr)
+import System hiding (getArgs)
+import Monad
 {- rec -}
-g :: _forall_ [] (Num a, Eq b) => Foo a -> [b] -> (a, a, a) -> b
-bindwith :: _forall_ [] (OrdClass a, OrdClass b) => a -> b -> b
+g :: (Num a, Eq b) => Foo a -> [b] -> (a, a, a) -> b
+bindwith :: (OrdClass a, OrdClass b) => a -> b -> b
 fixn x y = x
 fixl x y = x
 fixr x y = x
@@ -30,37 +27,36 @@ recb a = reca a
        {- rec -}
        nullity = null
 mat a b c d
-    | foof a b = d
-    | foof a c = d
-    | foof b c = d
-    where
-       {- rec -}
-       foof a b = a == b
+      | foof a b = d
+      | foof a c = d
+      | foof b c = d
+      where
+         {- rec -}
+         foof a b = a == b
 expr a b c d
-     = ((((((((a + (: a b)) + (a : b)) + (((1 - 'c') - "abc") - 1.293))
-           + ((\ x y z -> x) 42))
-          + ((9 *)))
-         + ((* 8)))
-        + (case x of
-             Prelude.[]
-             | null x -> 99
-             | otherwise -> 98
-             | True -> 97
-             where
-                 {- rec -}
-                 null x = False))
-       + ([z | z <- c, isSpace z]))
-       + (let
-           {- rec -}
-           y = foo
-         in
-           (((((((y + [1, 2, 3, 4]) + (4, 3, 2, 1))
-                + (4 :: _forall_ [] (Num a) => a))
-               + (if 42 == 42.0 then 1 else 4))
-              + ([1 .. ]))
-             + ([2, 4 .. ]))
-            + ([3 .. 5]))
-           + ([4, 8 .. 999]))
+       = ((((((((a + (: a b)) + (a : b)) + (((1 - 'c') - "abc") - 1.293))
+             + ((\ x y z -> x) 42))
+            + ((9 *)))
+           + ((* 8)))
+          + (case x of
+               Prelude.[]
+                 | null x -> 99
+                 | otherwise -> 98
+                 | True -> 97
+                 where
+                     {- rec -}
+                     null x = False))
+         + ([z | z <- c, isSpace z]))
+        + (let
+             {- rec -}
+             y = foo
+           in
+             (((((((y + [1, 2, 3, 4]) + (4, 3, 2, 1)) + (4 :: (Num a) => a))
+                 + (if 42 == 42.0 then 1 else 4))
+                + ([1 .. ]))
+               + ([2, 4 .. ]))
+              + ([3 .. 5]))
+             + ([4, 8 .. 999]))
 f _
   x
   1
@@ -73,10 +69,10 @@ f _
   [1, 2]
   (3, 4)
   ((n+42))
-  = y
+    = y
 g x y z = head y
 default (Integer, Rational)
-instance _forall_ [] (Eq a) => EqClass (EqTree a) where
+instance (Eq a) => EqClass (EqTree a) where
     []
     eqc x = 'a'
 class (Ord a) => OrdClass a where {
@@ -90,20 +86,37 @@ data (Eq a) => EqTree a = EqLeaf a | EqBranch (EqLeaf a) (EqLeaf a)
 data FooDataB = FooConB Double
 data FooData = FooCon Int
 type Pair a b = (a, b)
+infixr 8 fixr
+infixl 7 +#
+infix 6 fixn
 
 
  
-read001.hs:17: Could not find valid interface file `OneA'
+read001.hs:20: Warning: Unused fixity declaration for `+#'
+
+ 
+read001.hs:5: Type constructor or class not in scope: `FooDataC'
+ 
+read001.hs:5: Unknown module in export list: module `OneC'
+ 
+read001.hs:40: Type constructor or class not in scope: `EqLeaf'
  
-read001.hs:18: Could not find valid interface file `OneB'
+read001.hs:40: Type constructor or class not in scope: `EqLeaf'
  
-read001.hs:18: Module `OneB' does not export `fB'
+read001.hs:80: Value not in scope: `isSpace'
  
-read001.hs:19: Could not find valid interface file `OneC'
+read001.hs:87: Value not in scope: `x'
  
-read001.hs:19: Module `OneC' does not export `fC'
+read001.hs:87: Value not in scope: `x'
  
-read001.hs:20: Module `OneC' does not export `fC'
+read001.hs:95: Value not in scope: `foo'
+ 
+read001.hs:107: Data constructor not in scope: `Foo'
+ 
+read001.hs:107: Data constructor not in scope: `Bar'
+ 
+read001.hs:112: Type constructor or class not in scope: `Foo'
 
 
 Compilation had errors
+