summaryrefslogtreecommitdiff
path: root/testdata/language-features/basic-values/if04.reject.out
blob: 795be09824cadcf1c6a6e5d41967cfa5fc63957c (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
25
26
type error: can not unify
()
with
'Char

in testdata/language-features/basic-values/if04.reject.lc:1:31:
value1 = if True then () else '_'
                              ^^^
------------ trace
!type error: can not unify
()
with
'Char

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