2 ==================== Reader ====================
3 module OneOfEverything (
4 fixn, FooData, FooDataB(..), FooDataC(..),
5 EqTree(EqLeaf, EqBranch), EqClass(..), OrdClass(orda, ordb),
6 module OneC, module OneOfEverything
10 import System hiding (getArgs)
13 g :: (Num a, Eq b) => Foo a -> [b] -> (a, a, a) -> b
14 bindwith :: (OrdClass a, OrdClass b) => a -> b -> b
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))
50 zp ([zz | zz <- c, isSpace zz]))
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))
75 default (Integer, Rational)
76 instance (Eq a) => EqClass (EqTree a) where
79 class (Ord a) => OrdClass a where {
80 ordc :: a -> Char; ordb :: a -> Char; orda :: a -> Char;
82 class (Eq a) => EqClass a where {
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)
96 read001.hs:5: Type constructor or class not in scope: `FooDataC'
98 read001.hs:5: Unknown module in export list: module `OneC'
100 read001.hs:40: Type constructor or class not in scope: `EqLeaf'
102 read001.hs:40: Type constructor or class not in scope: `EqLeaf'
104 read001.hs:80: Variable not in scope: `isSpace'
106 read001.hs:87: Variable not in scope: `x'
108 read001.hs:87: Variable not in scope: `x'
110 read001.hs:95: Variable not in scope: `foo'
112 read001.hs:107: Data constructor not in scope: `Foo'
114 read001.hs:107: Data constructor not in scope: `Bar'
116 read001.hs:112: Type constructor or class not in scope: `Foo'
118 Compilation had errors