blob: 57c7bf060ab1714e57e778bb7a620fddd0941427 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
T12522a.hs:23:26: error: [GHC-39999]
• 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
|
