summaryrefslogtreecommitdiff
path: root/testdata/language-features/basic-values/if04.reject.out
blob: 29189955e81200256e2841bbd31a7caa70d70b77 (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
  ()
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
1:13-1:17
    Bool
1:13-1:25
    () -> ()
1:23-1:25
    ()
1:31-1:34
    Char