blob: cfde80b0b46cd9cb804fbbe799edb35f921a8dcd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
T12522a.hs:23:26: error:
• Ambiguous type variable ‘a0’ arising from a use of ‘show’
prevents the constraint ‘(Show a0)’ from being solved.
Relevant bindings include
n :: a0 (bound at T12522a.hs:23:15)
test :: Uncurried '[a0, [Char]] [Char] (bound at T12522a.hs:23:1)
Probable fix: use a type annotation to specify what ‘a0’ should be.
Potentially matching instances:
instance Show Ordering -- Defined in ‘GHC.Show’
instance Show a => Show (Maybe a) -- Defined in ‘GHC.Show’
...plus 25 others
...plus 12 instances involving out-of-scope types
(use -fprint-potential-instances to see them all)
• In the first argument of ‘(++)’, namely ‘show n’
In the second argument of ‘($)’, namely ‘show n ++ s’
In the expression: I $ show n ++ s
|