put trace info in .out files

1 files changed, 149 insertions, 0 deletions

diff --git a/testdata/Prelude.out b/testdata/Prelude.out
index f7098ef4..3e8b4057 100644
--- a/testdata/Prelude.out
+++ b/testdata/Prelude.out
@@ -1,4 +1,153 @@
 main is not found
+------------ trace
+const :: {a} -> {b} -> a -> b->a
+otherwise :: 'Bool
+& :: {a} -> {b} -> a -> a->b -> b
+$ :: {a} -> {b} -> a->b -> a->b
+. :: {a} -> {b} -> {c} -> b->c -> a->b -> a->c
+uncurry :: {a} -> {b} -> {c} -> (a -> b->c) -> 'Tuple2 a b -> c
+*** :: {a} -> {b} -> {c} -> {d} -> a->c -> b->d -> 'Tuple2 a b -> 'Tuple2 c d
+pi :: 'Float
+zip :: {a} -> {b} -> 'List a -> 'List b -> 'List ('Tuple2 a b)
+unzip :: {a} -> {b} -> 'List ('Tuple2 a b) -> 'Tuple2 ('List a) ('List b)
+filter :: {a} -> a->'Bool -> 'List a -> 'List a
+head :: {a} -> 'List a -> a
+tail :: {a} -> 'List a -> 'List a
+pairs :: {a} -> 'List a -> 'List ('Tuple2 a a)
+foldl' :: {a} -> {b} -> (a -> b->a) -> a -> 'List b -> a
+foldr1 :: {a} -> (a -> a->a) -> 'List a -> a
+split :: {a} -> 'List a -> 'Tuple2 ('List a) ('List a)
+mergeBy :: {a} -> (a -> a->'Ordering) -> 'List a -> 'List a -> 'List a
+sortBy :: {a} -> (a -> a->'Ordering) -> 'List a -> 'List a
+iterate :: {a} -> a->a -> a -> 'List a
+fst :: {a} -> {b} -> 'Tuple2 a b -> a
+snd :: {a} -> {b} -> 'Tuple2 a b -> b
+tuptype :: 'List Type -> Type
+'RecordC :: 'List ('Tuple2 'String Type) -> Type
+RecordCons :: {a : 'List ('Tuple2 'String Type)} -> tuptype (map ('Tuple2 'String Type) Type (snd 'String Type) a) -> 'RecordC a
+'RecordCCase :: {a : 'List ('Tuple2 'String Type)} -> (c : 'RecordC a -> Type) -> ((d : tuptype (map ('Tuple2 'String Type) Type (snd 'String Type) a)) -> c (RecordCons d)) -> (f : 'RecordC a) -> c f
+match'RecordC :: (b : Type->Type) -> ((c : 'List ('Tuple2 'String Type)) -> b ('RecordC c)) -> e:Type -> b e -> b e
+||| :: 'Bool -> 'Bool->'Bool
+&&& :: 'Bool -> 'Bool->'Bool
+isKeyC :: {a} -> {b} -> {c : 'Eq a} -> a -> b -> 'List ('Tuple2 a b) -> Type
+project :: {a} -> {b : 'List ('Tuple2 'String Type)} -> c:'String -> {d : isKeyC 'String Type TT c a b} -> 'RecordC b -> a
+rgb :: 'Float -> 'Float -> 'Float -> 'VecS 'Float 4
+black :: 'VecS 'Float 4
+gray :: 'VecS 'Float 4
+silver :: 'VecS 'Float 4
+white :: 'VecS 'Float 4
+maroon :: 'VecS 'Float 4
+red :: 'VecS 'Float 4
+olive :: 'VecS 'Float 4
+yellow :: 'VecS 'Float 4
+green :: 'VecS 'Float 4
+lime :: 'VecS 'Float 4
+teal :: 'VecS 'Float 4
+aqua :: 'VecS 'Float 4
+navy :: 'VecS 'Float 4
+blue :: 'VecS 'Float 4
+purple :: 'VecS 'Float 4
+fuchsia :: 'VecS 'Float 4
+colorImage1 :: {a:'Nat} -> {b} -> {c} -> {d : 'Num b} -> {e : c ~ 'VecScalar a b} -> c -> 'Image 1 (Color c)
+colorImage2 :: {a:'Nat} -> {b} -> {c} -> {d : 'Num b} -> {e : c ~ 'VecScalar a b} -> c -> 'Image 2 (Color c)
+depthImage1 :: 'Float -> 'Image 1 (Depth 'Float)
+v3FToV4F :: 'VecS 'Float 3 -> 'VecS 'Float 4
+radians :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
+degrees :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
+sin :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
+cos :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
+tan :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
+sinh :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
+cosh :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
+tanh :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
+asin :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
+asinh :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
+acos :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
+acosh :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
+atan :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
+atanh :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
+atan2 :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->a
+pow :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->a
+exp :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
+log :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
+exp2 :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
+log2 :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
+sqrt :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
+inversesqrt :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
+abs :: {a} -> {b} -> {c:'Nat} -> {d : 'Signed a} -> {e : b ~ 'VecScalar c a} -> b->b
+sign :: {a} -> {b} -> {c:'Nat} -> {d : 'Signed a} -> {e : b ~ 'VecScalar c a} -> b->b
+floor :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
+trunc :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
+round :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
+roundEven :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
+ceil :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
+fract :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
+mod :: {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> b->b
+min :: {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> b->b
+max :: {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> b->b
+modF :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> 'Tuple2 a a
+clamp :: {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> b -> b->b
+clampS :: {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> a -> a->b
+mix :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a -> a->a
+mixS :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a -> 'Float->a
+mixB :: {a} -> {b:'Nat} -> {c} -> {d : a ~ 'VecScalar b 'Float} -> {e : c ~ 'VecScalar b 'Bool} -> a -> a -> c->a
+step :: {a} -> {b:'Nat} -> {c : a ~ 'VecS 'Float b} -> a -> a->a
+stepS :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> 'Float -> a->a
+smoothstep :: {a} -> {b:'Nat} -> {c : a ~ 'VecS 'Float b} -> a -> a -> a->a
+smoothstepS :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> 'Float -> 'Float -> a->a
+isNan :: {a} -> {b:'Nat} -> {c} -> {d : a ~ 'VecScalar b 'Float} -> {e : c ~ 'VecScalar b 'Bool} -> a->c
+isInf :: {a} -> {b:'Nat} -> {c} -> {d : a ~ 'VecScalar b 'Float} -> {e : c ~ 'VecScalar b 'Bool} -> a->c
+dFdx :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
+dFdy :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
+fWidth :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
+noise1 :: {a:'Nat} -> 'VecScalar a 'Float -> 'Float
+noise2 :: {a:'Nat} -> 'VecScalar a 'Float -> 'VecS 'Float 2
+noise3 :: {a:'Nat} -> 'VecScalar a 'Float -> 'VecS 'Float 3
+noise4 :: {a:'Nat} -> 'VecScalar a 'Float -> 'VecS 'Float 4
+length :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->'Float
+distance :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->'Float
+dot :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->'Float
+cross :: {a} -> {b : a ~ 'VecS 'Float 3} -> a -> a->a
+normalize :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
+faceforward :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a -> a->a
+reflect :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->a
+refract :: {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a -> a->a
+transpose :: {a:'Nat} -> {b:'Nat} -> {c} -> 'Mat a b c -> 'Mat b a c
+det :: {a:'Nat} -> {b} -> 'Mat a a b -> 'Float
+inv :: {a:'Nat} -> {b} -> 'Mat a a b -> 'Mat a a b
+outer :: {a:'Nat} -> {b} -> {c:'Nat} -> 'VecS b a -> 'VecS b c -> 'Mat c a b
++ :: {a} -> {b : 'Num ('MatVecScalarElem a)} -> a -> a->a
+- :: {a} -> {b : 'Num ('MatVecScalarElem a)} -> a -> a->a
+* :: {a} -> {b : 'Num ('MatVecScalarElem a)} -> a -> a->a
+/ :: {a} -> {b:'Nat} -> {c : 'Num a} -> 'VecScalar b a -> 'VecScalar b a -> 'VecScalar b a
+% :: {a} -> {b:'Nat} -> {c : 'Num a} -> 'VecScalar b a -> 'VecScalar b a -> 'VecScalar b a
+neg :: {a} -> {b : 'Signed ('MatVecScalarElem a)} -> a->a
+/= :: {a} -> a -> a->'Bool
+< :: {a:'Nat} -> {b} -> {c : 'Num b} -> 'VecScalar a b -> 'VecScalar a b -> 'VecScalar a 'Bool
+<= :: {a:'Nat} -> {b} -> {c : 'Num b} -> 'VecScalar a b -> 'VecScalar a b -> 'VecScalar a 'Bool
+>= :: {a:'Nat} -> {b} -> {c : 'Num b} -> 'VecScalar a b -> 'VecScalar a b -> 'VecScalar a 'Bool
+> :: {a:'Nat} -> {b} -> {c : 'Num b} -> 'VecScalar a b -> 'VecScalar a b -> 'VecScalar a 'Bool
+&& :: 'Bool -> 'Bool->'Bool
+|| :: 'Bool -> 'Bool->'Bool
+xor :: 'Bool -> 'Bool->'Bool
+not :: {a:'Nat} -> 'VecScalar a 'Bool -> 'VecScalar a 'Bool
+any :: {a:'Nat} -> 'VecScalar a 'Bool -> 'Bool
+all :: {a:'Nat} -> 'VecScalar a 'Bool -> 'Bool
+.*. :: {a:'Nat} -> {b:'Nat} -> {c} -> {d:'Nat} -> 'Mat a b c -> 'Mat b d c -> 'Mat a d c
+*. :: {a:'Nat} -> {b:'Nat} -> {c} -> 'Mat a b c -> 'VecS c b -> 'VecS c a
+.* :: {a:'Nat} -> {b} -> {c:'Nat} -> 'VecS b a -> 'Mat a c b -> 'VecS b c
++! :: {a} -> {b : 'Num ('MatVecScalarElem a)} -> a -> 'MatVecScalarElem a -> a
+-! :: {a} -> {b : 'Num ('MatVecScalarElem a)} -> a -> 'MatVecScalarElem a -> a
+*! :: {a} -> {b : 'Num ('MatVecScalarElem a)} -> a -> 'MatVecScalarElem a -> a
+/! :: {a} -> {b:'Nat} -> {c : 'Num a} -> 'VecScalar b a -> a -> 'VecScalar b a
+%! :: {a} -> {b:'Nat} -> {c : 'Num a} -> 'VecScalar b a -> a -> 'VecScalar b a
+rotMatrixZ :: 'Float -> 'Mat 4 4 'Float
+rotMatrixY :: 'Float -> 'Mat 4 4 'Float
+rotMatrixX :: 'Float -> 'Mat 4 4 'Float
+rotationEuler :: 'Float -> 'Float -> 'Float -> 'Mat 4 4 'Float
+scale :: 'Float -> 'VecS 'Float 4 -> 'VecS 'Float 4
+fromTo :: 'Float -> 'Float -> 'List 'Float
+!! :: {a} -> 'List a -> 'Int->a
 ------------ tooltips
 testdata/Prelude.lc 16:1-16:6  {a} -> {b} -> a -> b->a
 testdata/Prelude.lc 16:13-16:14  V3