ghc/tests/reader/should_fail/read001.stderr

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