diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_compile/ExtraConstraints3.stderr')
-rw-r--r-- | testsuite/tests/partial-sigs/should_compile/ExtraConstraints3.stderr | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/ExtraConstraints3.stderr b/testsuite/tests/partial-sigs/should_compile/ExtraConstraints3.stderr index 09a6ce2a17..73b2c3058f 100644 --- a/testsuite/tests/partial-sigs/should_compile/ExtraConstraints3.stderr +++ b/testsuite/tests/partial-sigs/should_compile/ExtraConstraints3.stderr @@ -132,12 +132,12 @@ TYPE SIGNATURES (P.Foldable t, Monad m) => (a -> m b) -> t a -> m () max :: forall {a}. Ord a => a -> a -> a - maxBound :: forall {_}. Bounded _ => _ + maxBound :: forall {w}. Bounded w => w maximum :: forall {t :: * -> *} {a}. (P.Foldable t, Ord a) => t a -> a maybe :: forall {b} {a}. b -> (a -> b) -> Maybe a -> b min :: forall {a}. Ord a => a -> a -> a - minBound :: forall {_}. Bounded _ => _ + minBound :: forall {w}. Bounded w => w minimum :: forall {t :: * -> *} {a}. (P.Foldable t, Ord a) => t a -> a mod :: forall {a}. Integral a => a -> a -> a @@ -149,7 +149,7 @@ TYPE SIGNATURES odd :: forall {a}. Integral a => a -> Bool or :: forall {t :: * -> *}. P.Foldable t => t Bool -> Bool otherwise :: Bool - pi :: forall {_}. Floating _ => _ + pi :: forall {w}. Floating w => w pred :: forall {a}. Enum a => a -> a print :: forall {a}. Show a => a -> IO () product :: @@ -219,7 +219,7 @@ TYPE SIGNATURES toRational :: forall {a}. Real a => a -> Rational truncate :: forall {a} {b}. (RealFrac a, Integral b) => a -> b uncurry :: forall {a} {b} {c}. (a -> b -> c) -> (a, b) -> c - undefined :: forall {_}. _ + undefined :: forall {w}. w unlines :: [String] -> String until :: forall {a}. (a -> Bool) -> (a -> a) -> a -> a unwords :: [String] -> String |