summaryrefslogtreecommitdiff
path: root/testdata/language-features/basic-list/list10.reject.out
blob: 1b9da45f3e46cb276de931031ca4a7396472b063 (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
  <<installed-prelude-path>>/Internals.lc:58:6:
  data Int
       ^^^
with
  Float
in []
------------ trace
!type error: can not unify
  <<installed-prelude-path>>/Internals.lc:58:6:
  data Int
       ^^^
with
  Float
in []
------------ tooltips
1:10-1:11
    _b
1:12-1:15
    Float
1:20-1:25
    Type
1:21-1:24
    Type