blob: 314fa80eaf05c20dc93cc289edd7d368cd346180 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
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 ()
|