blob: eed0fc59d52450a3e6e9cb603b0c4655db4c09e6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
type error: can not unify
[32m()[0m
with
[32m'Char[0m
in testdata/language-features/basic-values/if04.reject.lc:1:31:
value1 = if True then () else '_'
^^^
------------ trace
!type error: can not unify
[32m()[0m
with
[32m'Char[0m
in testdata/language-features/basic-values/if04.reject.lc:1:31:
value1 = if True then () else '_'
^^^
------------ tooltips
testdata/language-features/basic-values/if04.reject.lc 1:13-1:17 Bool
testdata/language-features/basic-values/if04.reject.lc 1:13-1:25 ()->()
testdata/language-features/basic-values/if04.reject.lc 1:23-1:25 ()
testdata/language-features/basic-values/if04.reject.lc 1:31-1:34 Char
|