blob: a964eb1543926df87eaf2dedbacd1932a094816e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
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:
value1 = case () of
1 -> ()
_ -> ()
------------ 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 ()
|
