blob: 31d8ce8c8b1f59bd0353aff2ae1f80fd2b048ac7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
already defined #$# at testdata/language-features/basic-values/operator02.reject.lc:3:3:
a #$# b = ()
^^^
and at testdata/language-features/basic-values/operator02.reject.lc:1:3:
a #$# b = ()
^^^
------------ trace
#$# :: [32m{a} -> {b} -> a -> b->()[39m[K
fun :: [32m{a} -> a->()[39m[K
#$# :: [32m{a} -> {b} -> a -> b->()[39m[K
!already defined #$# at testdata/language-features/basic-values/operator02.reject.lc:3:3:
a #$# b = ()
^^^
and at testdata/language-features/basic-values/operator02.reject.lc:1:3:
a #$# b = ()
^^^
------------ tooltips
testdata/language-features/basic-values/operator02.reject.lc 1:3-1:6 {a} -> {b} -> a -> b->()
testdata/language-features/basic-values/operator02.reject.lc 1:11-1:13 ()
testdata/language-features/basic-values/operator02.reject.lc 2:1-2:4 {a} -> a->()
testdata/language-features/basic-values/operator02.reject.lc 2:9-2:11 ()
testdata/language-features/basic-values/operator02.reject.lc 3:3-3:6 {a} -> {b} -> a -> b->()
testdata/language-features/basic-values/operator02.reject.lc 3:11-3:13 ()
|