blob: 92a1d76fd23f2c82b7678b90b181a2c3ab0fb551 (
plain)
1
2
3
4
5
6
7
8
9
10
|
main is not found
------------ tooltips
testdata/language-features/guard/guard16.lc 1:1-1:6 {a} -> {b : Eq a} -> {c : Num a}->Tuple0
testdata/language-features/guard/guard16.lc 1:9-3:10 Tuple0
testdata/language-features/guard/guard16.lc 1:14-1:15 V1
testdata/language-features/guard/guard16.lc 2:7-2:11 Bool
testdata/language-features/guard/guard16.lc 2:7-3:10 Tuple0
testdata/language-features/guard/guard16.lc 2:15-2:17 Tuple0
testdata/language-features/guard/guard16.lc 2:15-3:10 Bool->Tuple0
testdata/language-features/guard/guard16.lc 3:8-3:10 Tuple0
|