blob: 8bc84e873bee79886e0c7c5e718cef49637ac4d9 (
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
|
main is not found
------------ trace
intValue1 :: [32m{a} -> {b : 'Num a}->a[39m[K
intValue2 :: [32m{a} -> {b : 'Num a}->a[39m[K
intValue3 :: [32m{a} -> {b : 'Num a}->a[39m[K
floatValue1 :: [32m'Float[39m[K
floatValue2 :: [32m'Float[39m[K
charValue :: [32m'Char[39m[K
stringValue1 :: [32m'String[39m[K
stringValue2 :: [32m'String[39m[K
natValue :: [32m{a} -> {b : 'Num a}->a[39m[K
------------ tooltips
testdata/language-features/basic-values/literal01.lc 1:1-1:10 {a} -> {b : Num a}->a
testdata/language-features/basic-values/literal01.lc 2:1-2:10 {a} -> {b : Num a}->a
testdata/language-features/basic-values/literal01.lc 3:1-3:10 {a} -> {b : Num a}->a
testdata/language-features/basic-values/literal01.lc 5:1-5:12 Float
testdata/language-features/basic-values/literal01.lc 5:15-5:18 Float
testdata/language-features/basic-values/literal01.lc 6:1-6:12 Float
testdata/language-features/basic-values/literal01.lc 6:15-6:22 Float
testdata/language-features/basic-values/literal01.lc 8:1-8:10 Char
testdata/language-features/basic-values/literal01.lc 8:13-8:16 Char
testdata/language-features/basic-values/literal01.lc 10:1-10:13 String
testdata/language-features/basic-values/literal01.lc 10:16-10:29 String
testdata/language-features/basic-values/literal01.lc 11:1-11:13 String
testdata/language-features/basic-values/literal01.lc 11:16-11:45 String
testdata/language-features/basic-values/literal01.lc 13:1-13:9 {a} -> {b : Num a}->a
|