blob: bba02e5b3ecda9a045b0b54e9816531d5a9843f3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
main is not found
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 Nat
|