ghc/tests/reader/should_fail/read001.stdout

   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 :: (OrdClass a, OrdClass b) => a -> b -> b
  13 g :: (Num a, Eq b) => Foo a -> [b] -> (a, a, a) -> b
  14 g x y z = head y
  15 f _
  16   x
  17   1
  18   1.93
  19   'c'
  20   "dog"
  21   ~y
  22   (z@(Foo a b))
  23   (c Bar d)
  24   [1, 2]
  25   (3, 4)
  26   ((n+42))
  27     = y
  28 expr a b c d
  29        = ((((((((a + ((:) a b)) + (a : b))
  30                + (((1 - 'c') - "abc") - 1.293))
  31               + ((\ x y z -> x) 42))
  32              + ((9 *)))
  33             + ((* 8)))
  34            + (case x of
  35                 PrelBase.[]
  36                   | null x -> 99
  37                   | otherwise -> 98
  38                   | True -> 97
  39                   where
  40                       null x = False))
  41           + ([z | z <- c, isSpace z]))
  42          + (let y = foo
  43             in
  44               (((((((y + [1, 2, 3, 4]) + (4, 3, 2, 1)) + (4 :: (Num a) => a))
  45                   + (if 42 == 42.0 then 1 else 4))
  46                  + ([1 .. ]))
  47                 + ([2, 4 .. ]))
  48                + ([3 .. 5]))
  49               + ([4, 8 .. 999]))
  50 mat a b c d
  51       | foof a b = d
  52       | foof a c = d
  53       | foof b c = d
  54       where
  55           foof a b = a == b
  56 (~(a, b, c))
  57     | nullity b = a
  58     | nullity c = a
  59     | otherwise = a
  60     where
  61         nullity = null
  62 recb a = reca a
  63 reca a = recb a
  64 bindwith a b = b
  65 singlebind x = x
  66 fixr x y = x
  67 fixl x y = x
  68 fixn x y = x
  69 infix 6 fixn
  70 infixl 7 +#
  71 infixr 8 fixr
  72 type Pair a b = (a, b)
  73 data FooData = FooCon Int
  74 data FooDataB = FooConB Double
  75 data (Eq a) => EqTree a = EqLeaf a | EqBranch (EqLeaf a) (EqLeaf a)
  76 class (Eq a) => EqClass a where {
  77     eqc = :: a -> Char; Just eqc x = '?' }
  78 class (Ord a) => OrdClass a where {
  79     orda = :: a -> Char; ordb = :: a -> Char; ordc = :: a -> Char;
  80     Just
  81     }
  82 instance (Eq a) => {EqClass (EqTree a)} where
  83     []
  84     eqc x = 'a'
  85 default (Integer, Rational)
  86
  87