Commit 690b7e49 authored by Herbert Valerio Riedel's avatar Herbert Valerio Riedel 🕺

Follow changes in [7ab62490/base] (re #7633)

parent 1c5fee15
T2245.hs:4:10: Warning:
No explicit implementation for
‛+’, ‛*’, ‛abs’, ‛signum’, and ‛fromInteger’
‛+’, ‛*’, ‛abs’, ‛signum’, ‛fromInteger’, and (either ‛negate’
or
‛-’)
In the instance declaration for ‛Num T’
T2245.hs:5:10: Warning:
No explicit implementation for
‛fromRational’
‛fromRational’ and (either ‛recip’ or ‛/’)
In the instance declaration for ‛Fractional T’
T2245.hs:7:29: Warning:
......
......@@ -80,6 +80,7 @@ instance Num (Hidden Nat') where
abs n = n
Hide a + Hide b = Hide $ plus a b
a * b = fromInteger $ toInteger a * toInteger b
negate a = error "negate(Hidden Nat')"
instance Real (Hidden Nat') where
toRational = toRational . toInteger
......
......@@ -2,7 +2,8 @@
module ShouldSucceed where
instance Show (a->b)
instance Show (a->b) where
show _ = error "attempt to show function"
instance (Eq b) => Eq (a -> b) where
(==) f g = error "attempt to compare functions"
......
tc175.hs:13:10: Warning:
No explicit implementation for
either ‛showsPrec’ or ‛show’
In the instance declaration for ‛Show (a -> b)’
......@@ -38,7 +38,9 @@ WarnMinimal.hs:92:1: Warning:
WarnMinimal.hs:99:10: Warning:
No explicit implementation for
‛+’, ‛*’, ‛abs’, ‛signum’, and ‛fromInteger’
‛+’, ‛*’, ‛abs’, ‛signum’, ‛fromInteger’, and (either ‛negate’
or
‛-’)
In the instance declaration for ‛Num Bool’
WarnMinimal.hs:105:10: Warning:
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment