blob: b2291e162636dea354a48146e7558ee631c82259 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
main is not found
------------ trace
main' :: [32m'VecS 'Float 2[39m[K
------------ tooltips
testdata/instantiate.lc 1:1-1:6 VecS Float 2
testdata/instantiate.lc 2:13-2:20 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a
testdata/instantiate.lc 2:24-2:25 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a
testdata/instantiate.lc 2:24-2:38 VecS Float 2 -> VecS Float 2
testdata/instantiate.lc 2:24-2:51 VecS Float 2
testdata/instantiate.lc 2:27-2:29 {a} -> a -> a -> VecS a 2
testdata/instantiate.lc 2:27-2:33 Float -> VecS Float 2
testdata/instantiate.lc 2:27-2:37 VecS Float 2
testdata/instantiate.lc 2:30-2:33 Float
testdata/instantiate.lc 2:34-2:37 Float
testdata/instantiate.lc 2:40-2:42 {a} -> a -> a -> VecS a 2
testdata/instantiate.lc 2:40-2:46 Float -> VecS Float 2
testdata/instantiate.lc 2:40-2:50 VecS Float 2
testdata/instantiate.lc 2:43-2:46 Float
testdata/instantiate.lc 2:47-2:50 Float
|
