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