blob: c50aaa1aa3adc9fe8d16ca0481b28b44d9150cd9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
test-defaulting-plugin.hs:28:11: warning: [GHC-18042] [-Wtype-defaults (in -Wall)]
Defaulting the type variable ‘a0’ to type ‘0’ in the following constraint
KnownNat a0 arising from a use of ‘q’
In the first argument of ‘(+)’, namely ‘q’
In the second argument of ‘($)’, namely ‘q + w’
In a stmt of a 'do' block: print $ q + w
test-defaulting-plugin.hs:28:15: warning: [GHC-18042] [-Wtype-defaults (in -Wall)]
Defaulting the type variable ‘a0’ to type ‘2’ in the following constraints
(KnownNat a0)
arising from a use of ‘w’ at test-defaulting-plugin.hs:28:15
(GHC.TypeError.Assert
(Data.Type.Ord.OrdCond (CmpNat 2 a0) 'True 'True 'False)
(TypeError ...))
arising from a use of ‘w’ at test-defaulting-plugin.hs:28:15
In the second argument of ‘(+)’, namely ‘w’
In the second argument of ‘($)’, namely ‘q + w’
In a stmt of a 'do' block: print $ q + w
test-defaulting-plugin.hs:29:11: warning: [GHC-18042] [-Wtype-defaults (in -Wall)]
Defaulting the type variable ‘b0’ to type ‘0’ in the following constraint
KnownNat b0 arising from a use of ‘mc’
In the second argument of ‘($)’, namely ‘mc Proxy Proxy’
In a stmt of a 'do' block: print $ mc Proxy Proxy
In the expression:
do print $ q + w
print $ mc Proxy Proxy
test-defaulting-plugin.hs:29:11: warning: [GHC-18042] [-Wtype-defaults (in -Wall)]
Defaulting the type variable ‘a0’ to type ‘0’ in the following constraint
KnownNat a0 arising from a use of ‘mc’
In the second argument of ‘($)’, namely ‘mc Proxy Proxy’
In a stmt of a 'do' block: print $ mc Proxy Proxy
In the expression:
do print $ q + w
print $ mc Proxy Proxy
|