Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail203.stderr
1
2 tcfail203.hs:29:11: warning: [-Wunbanged-strict-patterns (in -Wextra)]
3     Pattern bindings containing unlifted types should use
4     an outermost bang pattern:
5       (I# x) = 5
6
7 tcfail203.hs:32:11: warning: [-Wunbanged-strict-patterns (in -Wextra)]
8     Pattern bindings containing unlifted types should use
9     an outermost bang pattern:
10       (b, I# x) = (True, 5)
11
12 tcfail203.hs:35:11: warning: [-Wunbanged-strict-patterns (in -Wextra)]
13     Pattern bindings containing unlifted types should use
14     an outermost bang pattern:
15       (# b, I# x #) = (# True, 5 #)
16
17 tcfail203.hs:38:11: warning: [-Wunbanged-strict-patterns (in -Wextra)]
18     Pattern bindings containing unlifted types should use
19     an outermost bang pattern:
20       (# b, x #) = (# True, 5# #)
21
22 tcfail203.hs:41:11: warning: [-Wunbanged-strict-patterns (in -Wextra)]
23     Pattern bindings containing unlifted types should use
24     an outermost bang pattern:
25       (I# !x) = 5
26
27 tcfail203.hs:44:11: warning: [-Wunbanged-strict-patterns (in -Wextra)]
28     Pattern bindings containing unlifted types should use
29     an outermost bang pattern:
30       (b, !(I# x)) = (True, 5)
31
32 tcfail203.hs:47:11: warning: [-Wunbanged-strict-patterns (in -Wextra)]
33     Pattern bindings containing unlifted types should use
34     an outermost bang pattern:
35       (# b, !(I# x) #) = (# True, 5 #)
36
37 tcfail203.hs:50:11: warning: [-Wunbanged-strict-patterns (in -Wextra)]
38     Pattern bindings containing unlifted types should use
39     an outermost bang pattern:
40       (# b, !x #) = (# True, 5# #)