blob: d9c29820787d0b1358730d928de44c7bc091d686 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
type error: no instance of 'Num on ???
in testdata/language-features/basic-values/case03.reject.lc:1:10:
value1 = case () of
1 -> ()
_ -> ()
------------ trace
!type error: no instance of 'Num on ???
in testdata/language-features/basic-values/case03.reject.lc:1:10
------------ tooltips
testdata/language-features/basic-values/case03.reject.lc 1:10-3:10 ()
testdata/language-features/basic-values/case03.reject.lc 1:15-1:17 ()
testdata/language-features/basic-values/case03.reject.lc 2:8-2:10 ()
testdata/language-features/basic-values/case03.reject.lc 2:8-3:10 Bool->()
testdata/language-features/basic-values/case03.reject.lc 3:8-3:10 ()
|