ghc/tests/reader/should_fail/read001.stderr

   1 ==================== Reader ====================
   2 module OneOfEverything (
   3         fixn, FooData, FooDataB(..), FooDataC(..), EqTree(EqLeaf,
   4                                                           EqBranch), EqClass(..), OrdClass(orda,
   5                                                                                            ordb), module OneC, module OneOfEverything
   6     ) where
   7 import qualified OneA
   8 import OneB (fB)
   9 import OneC hiding (fC)
  10 import OneC hiding (fC)
  11 infix 6 fixn
  12 infixl 7 +#
  13 infixr 8 fixr
  14 {- rec -}
  15 bindwith :: _forall_ [] (OrdClass a, OrdClass b) => a -> b -> b
  16 g :: _forall_ [] (Num a, Eq b) => Foo a -> [b] -> (a, a, a) -> b
  17 fixn x y = x
  18 fixl x y = x
  19 fixr x y = x
  20 singlebind x = x
  21 bindwith a b = b
  22 reca a = recb a
  23 recb a = reca a
  24 (~(a, b, c))
  25     | nullity b = a
  26     | nullity c = a
  27     | otherwise = a
  28     where
  29         {- rec -}
  30         nullity = null
  31 mat a b c d
  32     | foof a b = d
  33     | foof a c = d
  34     | foof b c = d
  35     where
  36         {- rec -}
  37         foof a b = a == b
  38 expr a b c d
  39      = ((((((((a + (: a b)) + (a : b)) + (((1 - 'c') - "abc") - 1.293))
  40             + ((\ x y z -> x) 42))
  41            + ((9 *)))
  42           + ((* 8)))
  43          + (case x of
  44               Prelude.[]
  45               | null x -> 99
  46               | otherwise -> 98
  47               | True -> 97
  48               where
  49                   {- rec -}
  50                   null x = False))
  51         + ([z | z <- c, isSpace z]))
  52        + (let
  53             {- rec -}
  54             y = foo
  55           in
  56             (((((((y + [1, 2, 3, 4]) + (4, 3, 2, 1))
  57                  + (4 :: _forall_ [] (Num a) => a))
  58                 + (if 42 == 42.0 then 1 else 4))
  59                + ([1 .. ]))
  60               + ([2, 4 .. ]))
  61              + ([3 .. 5]))
  62             + ([4, 8 .. 999]))
  63 f _
  64   x
  65   1
  66   1.93
  67   'c'
  68   "dog"
  69   ~y
  70   (z@(Foo a b))
  71   (c Bar d)
  72   [1, 2]
  73   (3, 4)
  74   ((n+42))
  75   = y
  76 g x y z = head y
  77 default (Integer, Rational)
  78 instance _forall_ [] (Eq a) => EqClass (EqTree a) where
  79     []
  80     eqc x = 'a'
  81 class (Ord a) => OrdClass a where {
  82     orda :: a -> Char; ordb :: a -> Char; ordc :: a -> Char;
  83     }
  84 class (Eq a) => EqClass a where {
  85     eqc :: a -> Char;
  86     eqc x = '?'
  87     }
  88 data (Eq a) => EqTree a = EqLeaf a | EqBranch (EqLeaf a) (EqLeaf a)
  89 data FooDataB = FooConB Double
  90 data FooData = FooCon Int
  91 type Pair a b = (a, b)
  92
  93
  94 read001.hs:17: Could not find valid interface file `OneA'
  95
  96 read001.hs:18: Could not find valid interface file `OneB'
  97
  98 read001.hs:18: Module OneB does not export `fB'
  99
 100 read001.hs:19: Could not find valid interface file `OneC'
 101
 102 read001.hs:19: Module OneC does not export `fC'
 103
 104 read001.hs:20: Module OneC does not export `fC'
 105
 106 Compilation had errors