blob: 4c4793b614507e52ec7ca68e1d8115a14a97353b (
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
|
main is not found
------------ trace
value1 :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m}->[32ma[0;32m[0m
value2 :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m}->[32ma[0;32m[0m
value3 :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m}->[32ma[0;32m[0m
value4 :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m}->[32ma[0;32m[0m
value5 :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m}->[32ma[0;32m[0m
------------ tooltips
testdata/language-features/basic-values/let01.lc 1:1-1:7 {a} -> {_ : Num a}->a
testdata/language-features/basic-values/let01.lc 1:18-1:19 b_
testdata/language-features/basic-values/let01.lc 1:23-1:24 b_
testdata/language-features/basic-values/let01.lc 3:1-3:7 {a} -> {_ : Num a}->a
testdata/language-features/basic-values/let01.lc 4:11-4:12 b_
testdata/language-features/basic-values/let01.lc 5:6-5:7 b_
testdata/language-features/basic-values/let01.lc 7:1-7:7 {a} -> {_ : Num a}->a
testdata/language-features/basic-values/let01.lc 8:11-8:12 b_
testdata/language-features/basic-values/let01.lc 9:11-9:14 Char
testdata/language-features/basic-values/let01.lc 10:6-10:7 b_
testdata/language-features/basic-values/let01.lc 12:1-12:7 {a} -> {_ : Num a}->a
testdata/language-features/basic-values/let01.lc 12:18-12:19 b_
testdata/language-features/basic-values/let01.lc 13:13-13:14 b_
testdata/language-features/basic-values/let01.lc 15:1-15:7 {a} -> {_ : Num a}->a
testdata/language-features/basic-values/let01.lc 15:18-15:19 b_
testdata/language-features/basic-values/let01.lc 16:18-16:19 b_
testdata/language-features/basic-values/let01.lc 17:13-17:14 b_
|