blob: 11e17685b6fb6f66086313fd4ee22fbf2c33ffb4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
main is not found
------------ trace
fun :: [32mforall a b c . [32ma[0;32m -> [32mb[0;32m -> [32mc[0;32m -> ()[0m
value :: [32mforall a b c . [32ma[0;32m -> [32mb[0;32m -> [32mc[0;32m -> ()[0m
------------ tooltips
testdata/language-features/basic-values/infix02.lc 1:1-1:4 forall a b c . a -> b -> c -> ()
testdata/language-features/basic-values/infix02.lc 1:13-1:15 ()
testdata/language-features/basic-values/infix02.lc 3:1-3:6 forall a b c . a -> b -> c -> ()
testdata/language-features/basic-values/infix02.lc 3:13-3:14 _g
testdata/language-features/basic-values/infix02.lc 3:13-3:20 _b -> _a -> ()
testdata/language-features/basic-values/infix02.lc 3:13-3:22 _a -> ()
testdata/language-features/basic-values/infix02.lc 3:15-3:20 forall a b c . a -> b -> c -> ()
testdata/language-features/basic-values/infix02.lc 3:21-3:22 _d
|