ghc/tests/reader/should_fail/read001.stderr

   1
   2 ==================== Reader ====================
   3 module OneOfEverything (
   4         fixn, FooData, FooDataB(..), FooDataC(..),
   5         EqTree(EqLeaf, EqBranch), EqClass(..), OrdClass(orda, ordb),
   6         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 zeze b
  36 expr a b c d
  37        = ((((((((a zp (ZC a b)) zp (a ZC b))
  38                zp (((1 zm 'c') zm "abc") zm 1.293))
  39               zp ((\ x y zz -> x) 42))
  40              zp ((9 zt)))
  41             zp ((zt 8)))
  42            zp (case x of
  43                  Prelude.ZMZN
  44                    | null x -> 99
  45                    | otherwise -> 98
  46                    | True -> 97
  47                    where
  48                        {- rec -}
  49                        null x = False))
  50           zp ([zz | zz <- c, isSpace zz]))
  51          zp (let
  52                {- rec -}
  53                y = foo
  54              in
  55                (((((((y zp [1, 2, 3, 4]) zp (4, 3, 2, 1)) zp (4 :: (Num a) => a))
  56                    zp (if 42 zeze 42.0 then 1 else 4))
  57                   zp ([1 .. ]))
  58                  zp ([2, 4 .. ]))
  59                 zp ([3 .. 5]))
  60                zp ([4, 8 .. 999]))
  61 f _
  62   x
  63   1
  64   1.93
  65   'c'
  66   "dog"
  67   ~y
  68   (zz@(Foo a b))
  69   (c Bar d)
  70   [1, 2]
  71   (3, 4)
  72   ((n+42))
  73     = y
  74 g x y zz = head y
  75 default (Integer, Rational)
  76 instance (Eq a) => EqClass (EqTree a) where
  77     []
  78     eqc x = 'a'
  79 class (Ord a) => OrdClass a where {
  80     ordc :: a -> Char; ordb :: a -> Char; orda :: a -> Char;
  81     }
  82 class (Eq a) => EqClass a where {
  83     eqc :: a -> Char;
  84     eqc x = '?'
  85     }
  86 data (Eq a) => EqTree a = EqLeaf a | EqBranch (EqLeaf a) (EqLeaf a)
  87 data FooDataB = FooConB Double
  88 data FooData = FooCon Int
  89 type Pair a b = (a, b)
  90 infixr 8 fixr
  91 infixl 7 zpzh
  92 infix 6 fixn
  93
  94
  95
  96 read001.hs:5: Type constructor or class not in scope: `FooDataC'
  97
  98 read001.hs:5: Unknown module in export list: module `OneC'
  99
 100 read001.hs:40: Type constructor or class not in scope: `EqLeaf'
 101
 102 read001.hs:40: Type constructor or class not in scope: `EqLeaf'
 103
 104 read001.hs:80: Variable not in scope: `isSpace'
 105
 106 read001.hs:87: Variable not in scope: `x'
 107
 108 read001.hs:87: Variable not in scope: `x'
 109
 110 read001.hs:95: Variable not in scope: `foo'
 111
 112 read001.hs:107: Data constructor not in scope: `Foo'
 113
 114 read001.hs:107: Data constructor not in scope: `Bar'
 115
 116 read001.hs:112: Type constructor or class not in scope: `Foo'
 117
 118 Compilation had errors
 119