ghc/tests/reader/should_fail/read001.stderr

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