Error msg wibbles from reduced module prefixes
[ghc.git] / testsuite / tests / partial-sigs / should_compile / ExtraConstraints3.stderr
1 TYPE SIGNATURES
2   !! :: forall a. [a] -> Int -> a
3   $ :: forall a b. (a -> b) -> a -> b
4   $! :: forall a b. (a -> b) -> a -> b
5   && :: Bool -> Bool -> Bool
6   * :: forall a. Num a => a -> a -> a
7   ** :: forall a. Floating a => a -> a -> a
8   + :: forall a. Num a => a -> a -> a
9   ++ :: forall a. [a] -> [a] -> [a]
10   - :: forall a. Num a => a -> a -> a
11   . :: forall b c a. (b -> c) -> (a -> b) -> a -> c
12   / :: forall a. Fractional a => a -> a -> a
13   /= :: forall a. Eq a => a -> a -> Bool
14   < :: forall a. Ord a => a -> a -> Bool
15   <= :: forall a. Ord a => a -> a -> Bool
16   =<< ::
17     forall a (m :: * -> *) b. Monad m => (a -> m b) -> m a -> m b
18   == :: forall a. Eq a => a -> a -> Bool
19   > :: forall a. Ord a => a -> a -> Bool
20   >= :: forall a. Ord a => a -> a -> Bool
21   >> :: forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
22   >>= ::
23     forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
24   ^ :: forall a b. (Integral b, Num a) => a -> b -> a
25   ^^ :: forall a b. (Fractional a, Integral b) => a -> b -> a
26   abs :: forall a. Num a => a -> a
27   acos :: forall a. Floating a => a -> a
28   acosh :: forall a. Floating a => a -> a
29   all ::
30     forall a (t :: * -> *). Foldable t => (a -> Bool) -> t a -> Bool
31   and :: forall (t :: * -> *). Foldable t => t Bool -> Bool
32   any ::
33     forall a (t :: * -> *). Foldable t => (a -> Bool) -> t a -> Bool
34   appendFile :: FilePath -> String -> IO ()
35   asTypeOf :: forall a. a -> a -> a
36   asin :: forall a. Floating a => a -> a
37   asinh :: forall a. Floating a => a -> a
38   atan :: forall a. Floating a => a -> a
39   atan2 :: forall a. RealFloat a => a -> a -> a
40   atanh :: forall a. Floating a => a -> a
41   break :: forall a. (a -> Bool) -> [a] -> ([a], [a])
42   ceiling :: forall a b. (Integral b, RealFrac a) => a -> b
43   compare :: forall a. Ord a => a -> a -> Ordering
44   concat :: forall (t :: * -> *) a. Foldable t => t [a] -> [a]
45   concatMap ::
46     forall a b (t :: * -> *). Foldable t => (a -> [b]) -> t a -> [b]
47   const :: forall a b. a -> b -> a
48   cos :: forall a. Floating a => a -> a
49   cosh :: forall a. Floating a => a -> a
50   curry :: forall a b c. ((a, b) -> c) -> a -> b -> c
51   cycle :: forall a. [a] -> [a]
52   decodeFloat :: forall a. RealFloat a => a -> (Integer, Int)
53   div :: forall a. Integral a => a -> a -> a
54   divMod :: forall a. Integral a => a -> a -> (a, a)
55   drop :: forall a. Int -> [a] -> [a]
56   dropWhile :: forall a. (a -> Bool) -> [a] -> [a]
57   either :: forall a c b. (a -> c) -> (b -> c) -> Either a b -> c
58   elem ::
59     forall (t :: * -> *) a. (Eq a, Foldable t) => a -> t a -> Bool
60   encodeFloat :: forall a. RealFloat a => Integer -> Int -> a
61   enumFrom :: forall a. Enum a => a -> [a]
62   enumFromThen :: forall a. Enum a => a -> a -> [a]
63   enumFromThenTo :: forall a. Enum a => a -> a -> a -> [a]
64   enumFromTo :: forall a. Enum a => a -> a -> [a]
65   error :: forall a. [Char] -> a
66   even :: forall a. Integral a => a -> Bool
67   exp :: forall a. Floating a => a -> a
68   exponent :: forall a. RealFloat a => a -> Int
69   fail :: forall (m :: * -> *) a. Monad m => String -> m a
70   filter :: forall a. (a -> Bool) -> [a] -> [a]
71   flip :: forall a b c. (a -> b -> c) -> b -> a -> c
72   floatDigits :: forall a. RealFloat a => a -> Int
73   floatRadix :: forall a. RealFloat a => a -> Integer
74   floatRange :: forall a. RealFloat a => a -> (Int, Int)
75   floor :: forall a b. (Integral b, RealFrac a) => a -> b
76   fmap ::
77     forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
78   foldl ::
79     forall (t :: * -> *) b a.
80     Foldable t =>
81     (b -> a -> b) -> b -> t a -> b
82   foldl1 ::
83     forall (t :: * -> *) a. Foldable t => (a -> a -> a) -> t a -> a
84   foldr ::
85     forall (t :: * -> *) a b.
86     Foldable t =>
87     (a -> b -> b) -> b -> t a -> b
88   foldr1 ::
89     forall (t :: * -> *) a. Foldable t => (a -> a -> a) -> t a -> a
90   fromEnum :: forall a. Enum a => a -> Int
91   fromInteger :: forall a. Num a => Integer -> a
92   fromIntegral :: forall a b. (Integral a, Num b) => a -> b
93   fromRational :: forall a. Fractional a => Rational -> a
94   fst :: forall a b. (a, b) -> a
95   gcd :: forall a. Integral a => a -> a -> a
96   getChar :: IO Char
97   getContents :: IO String
98   getLine :: IO String
99   head :: forall a. [a] -> a
100   id :: forall a. a -> a
101   init :: forall a. [a] -> [a]
102   interact :: (String -> String) -> IO ()
103   ioError :: forall a. IOError -> IO a
104   isDenormalized :: forall a. RealFloat a => a -> Bool
105   isIEEE :: forall a. RealFloat a => a -> Bool
106   isInfinite :: forall a. RealFloat a => a -> Bool
107   isNaN :: forall a. RealFloat a => a -> Bool
108   isNegativeZero :: forall a. RealFloat a => a -> Bool
109   iterate :: forall a. (a -> a) -> a -> [a]
110   last :: forall a. [a] -> a
111   lcm :: forall a. Integral a => a -> a -> a
112   length :: forall (t :: * -> *) a. Foldable t => t a -> Int
113   lex :: ReadS String
114   lines :: String -> [String]
115   log :: forall a. Floating a => a -> a
116   logBase :: forall a. Floating a => a -> a -> a
117   lookup :: forall a b. Eq a => a -> [(a, b)] -> Maybe b
118   map :: forall a b. (a -> b) -> [a] -> [b]
119   mapM ::
120     forall (t :: * -> *) a (m :: * -> *) b.
121     (Monad m, Traversable t) =>
122     (a -> m b) -> t a -> m (t b)
123   mapM_ ::
124     forall a (m :: * -> *) b (t :: * -> *).
125     (Monad m, Foldable t) =>
126     (a -> m b) -> t a -> m ()
127   max :: forall a. Ord a => a -> a -> a
128   maxBound :: forall w_. Bounded w_ => w_
129   maximum :: forall (t :: * -> *) a. (Ord a, Foldable t) => t a -> a
130   maybe :: forall b a. b -> (a -> b) -> Maybe a -> b
131   min :: forall a. Ord a => a -> a -> a
132   minBound :: forall w_. Bounded w_ => w_
133   minimum :: forall (t :: * -> *) a. (Ord a, Foldable t) => t a -> a
134   mod :: forall a. Integral a => a -> a -> a
135   negate :: forall a. Num a => a -> a
136   not :: Bool -> Bool
137   notElem ::
138     forall a (t :: * -> *). (Eq a, Foldable t) => a -> t a -> Bool
139   null :: forall (t :: * -> *) a. Foldable t => t a -> Bool
140   odd :: forall a. Integral a => a -> Bool
141   or :: forall (t :: * -> *). Foldable t => t Bool -> Bool
142   otherwise :: Bool
143   pi :: forall w_. Floating w_ => w_
144   pred :: forall a. Enum a => a -> a
145   print :: forall a. Show a => a -> IO ()
146   product :: forall (t :: * -> *) a. (Num a, Foldable t) => t a -> a
147   properFraction ::
148     forall a b. (Integral b, RealFrac a) => a -> (b, a)
149   putChar :: Char -> IO ()
150   putStr :: String -> IO ()
151   putStrLn :: String -> IO ()
152   quot :: forall a. Integral a => a -> a -> a
153   quotRem :: forall a. Integral a => a -> a -> (a, a)
154   read :: forall a. Read a => String -> a
155   readFile :: FilePath -> IO String
156   readIO :: forall a. Read a => String -> IO a
157   readList :: forall a. Read a => ReadS [a]
158   readLn :: forall a. Read a => IO a
159   readParen :: forall a. Bool -> ReadS a -> ReadS a
160   reads :: forall a. Read a => ReadS a
161   readsPrec :: forall a. Read a => Int -> ReadS a
162   realToFrac :: forall a b. (Fractional b, Real a) => a -> b
163   recip :: forall a. Fractional a => a -> a
164   rem :: forall a. Integral a => a -> a -> a
165   repeat :: forall a. a -> [a]
166   replicate :: forall a. Int -> a -> [a]
167   return :: forall (m :: * -> *) a. Monad m => a -> m a
168   reverse :: forall a. [a] -> [a]
169   round :: forall a b. (Integral b, RealFrac a) => a -> b
170   scaleFloat :: forall a. RealFloat a => Int -> a -> a
171   scanl :: forall b a. (b -> a -> b) -> b -> [a] -> [b]
172   scanl1 :: forall a. (a -> a -> a) -> [a] -> [a]
173   scanr :: forall a b. (a -> b -> b) -> b -> [a] -> [b]
174   scanr1 :: forall a. (a -> a -> a) -> [a] -> [a]
175   seq :: forall a b. a -> b -> b
176   sequence ::
177     forall (t :: * -> *) (m :: * -> *) a.
178     (Monad m, Traversable t) =>
179     t (m a) -> m (t a)
180   sequence_ ::
181     forall (t :: * -> *) (m :: * -> *) a.
182     (Monad m, Foldable t) =>
183     t (m a) -> m ()
184   show :: forall a. Show a => a -> String
185   showChar :: Char -> ShowS
186   showList :: forall a. Show a => [a] -> ShowS
187   showParen :: Bool -> ShowS -> ShowS
188   showString :: String -> ShowS
189   shows :: forall a. Show a => a -> ShowS
190   showsPrec :: forall a. Show a => Int -> a -> ShowS
191   significand :: forall a. RealFloat a => a -> a
192   signum :: forall a. Num a => a -> a
193   sin :: forall a. Floating a => a -> a
194   sinh :: forall a. Floating a => a -> a
195   snd :: forall a b. (a, b) -> b
196   span :: forall a. (a -> Bool) -> [a] -> ([a], [a])
197   splitAt :: forall a. Int -> [a] -> ([a], [a])
198   sqrt :: forall a. Floating a => a -> a
199   subtract :: forall a. Num a => a -> a -> a
200   succ :: forall a. Enum a => a -> a
201   sum :: forall (t :: * -> *) a. (Num a, Foldable t) => t a -> a
202   tail :: forall a. [a] -> [a]
203   take :: forall a. Int -> [a] -> [a]
204   takeWhile :: forall a. (a -> Bool) -> [a] -> [a]
205   tan :: forall a. Floating a => a -> a
206   tanh :: forall a. Floating a => a -> a
207   toEnum :: forall a. Enum a => Int -> a
208   toInteger :: forall a. Integral a => a -> Integer
209   toRational :: forall a. Real a => a -> Rational
210   truncate :: forall a b. (Integral b, RealFrac a) => a -> b
211   uncurry :: forall a b c. (a -> b -> c) -> (a, b) -> c
212   undefined :: forall w_. w_
213   unlines :: [String] -> String
214   until :: forall a. (a -> Bool) -> (a -> a) -> a -> a
215   unwords :: [String] -> String
216   unzip :: forall a b. [(a, b)] -> ([a], [b])
217   unzip3 :: forall a b c. [(a, b, c)] -> ([a], [b], [c])
218   userError :: String -> IOError
219   words :: String -> [String]
220   writeFile :: FilePath -> String -> IO ()
221   zip :: forall a b. [a] -> [b] -> [(a, b)]
222   zip3 :: forall a b c. [a] -> [b] -> [c] -> [(a, b, c)]
223   zipWith :: forall a b c. (a -> b -> c) -> [a] -> [b] -> [c]
224   zipWith3 ::
225     forall a b c d. (a -> b -> c -> d) -> [a] -> [b] -> [c] -> [d]
226   || :: Bool -> Bool -> Bool
227 TYPE CONSTRUCTORS
228 COERCION AXIOMS
229 Dependent modules: []
230 Dependent packages: [base-4.8.1.0, ghc-prim-0.4.0.0,
231                      integer-gmp-1.0.0.0]