summaryrefslogtreecommitdiff
path: root/testdata/instantiate.out
blob: b86ce3fd872603a65527e4e933feaa439b06506b (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
main is not found
------------ desugared source code
main' = _lhs main' (_rhs let a = 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
1:1-1:6
    VecS Float 2
2:13-2:20
    forall a . Num (MatVecScalarElem a) => a -> a -> a
2:24-2:25
    forall a . Num (MatVecScalarElem a) => a -> a -> a
2:24-2:38
    VecS Float 2 -> VecS Float 2
2:24-2:51
    VecS Float 2
2:27-2:29
    forall a . a -> a -> VecS a 2
2:27-2:33
    Float -> VecS Float 2
2:27-2:37
    VecS Float 2
2:30-2:33
    Float
2:34-2:37
    Float
2:40-2:42
    forall a . a -> a -> VecS a 2
2:40-2:46
    Float -> VecS Float 2
2:40-2:50
    VecS Float 2
2:43-2:46
    Float
2:47-2:50
    Float