blob: f1f024d76630f4169a427eef51e835c0f7411f74 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
type error: can not unify
[32m'Char[0m
with
[32m()[0m
in testdata/language-features/guard/guard12.reject.lc:1:13:
fun x | x = () | otherwise = 'a'
^^
------------ trace
!type error: can not unify
[32m'Char[0m
with
[32m()[0m
in testdata/language-features/guard/guard12.reject.lc:1:13:
fun x | x = () | otherwise = 'a'
^^
------------ tooltips
testdata/language-features/guard/guard12.reject.lc 1:13-1:15 ()
testdata/language-features/guard/guard12.reject.lc 1:30-1:33 Char
|