blob: 7bb41248c467604b2cca9cc4c858120e7edac82d (
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: can not unify
[32m()[0m
with
[32m'Char[0m
in testdata/language-features/basic-values/case04.reject.lc:2:8:
1 -> '1'
^^^
------------ trace
!type error: can not unify
[32m()[0m
with
[32m'Char[0m
in testdata/language-features/basic-values/case04.reject.lc:2:8:
1 -> '1'
^^^
------------ tooltips
testdata/language-features/basic-values/case04.reject.lc 2:8-2:11 Char
testdata/language-features/basic-values/case04.reject.lc 3:8-3:10 ()
|
