blob: 95bc2af4ee2433af3e7b52370ca5189ebcca1bcb (
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
27
28
29
30
31
32
33
34
35
36
37
38
|
main is not found
------------ desugared source code
main'
= _lhs main' (_rhs let a = _lhs f (_rhs PrimAdd) in a (V2 1.0 2.0) (V2 1.0 2.0))
------------ core code
main' :: VecS Float 2
main' = _rhs (PrimAdd ('VecS 'Float 2) TT (V2 1.0 2.0) (V2 1.0 2.0))
------------ tooltips
testdata/instantiate.lc 1:1-1:6
VecS Float 2
testdata/instantiate.lc 2:13-2:20
forall a . Num (MatVecScalarElem a) => a -> a -> a
testdata/instantiate.lc 2:24-2:25
forall a . 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
forall 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
forall 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
|