1 files changed, 195 insertions, 1 deletions

diff --git a/testdata/Prelude.out b/testdata/Prelude.out
index 3e8b2b17..e1b26503 100644
--- a/testdata/Prelude.out
+++ b/testdata/Prelude.out
@@ -1,15 +1,27 @@
+main is not found
 ------------ desugared source code
 infixr 9 .
+
 infixl 7 PrimMulMatVec
+
 infixl 7 PrimDot
+
 infixr 5 ++
+
 infixr 3 ***
+
 infixr 0 $
+
 const = \(a :: _) _ -> _rhs a
+
 otherwise = _rhs True
+
 (&) = \(a :: _) (b :: _) -> _rhs (b a)
+
 ($) = _rhs \(a :: _) (b :: _) -> a b
+
 (.) = _rhs \(a :: _) (b :: _) (c :: _) -> a (b c)
+
 uncurry
   = \(a :: _) (b :: _) -> hlistConsCase
     _
@@ -18,6 +30,7 @@ uncurry
       (\(e :: _) (f :: _) -> hlistNilCase _ (_rhs (a c e)) f)
       d)
     b
+
 (***)
   = \(a :: _) (b :: _) (c :: _) -> hlistConsCase
     _
@@ -26,7 +39,9 @@ uncurry
       (\(f :: _) (g :: _) -> hlistNilCase _ (_rhs (HCons (a d) (HCons (b f) HNil))) g)
       e)
     c
+
 pi = _rhs 3.141592653589793
+
 zip :: forall (a :: _) (b :: _) . [a] -> [b] -> [HList (a : b : '[])]
 zip
   = \(a :: _) (b :: _) -> case'List
@@ -38,6 +53,7 @@ zip
       (\(e :: _) (f :: _) -> _rhs (HCons c (HCons e HNil) : zip d f))
       b)
     a
+
 unzip
   :: forall (a :: _) (b :: _) . [HList (a : b : '[])] -> HList ([a] : [b] : '[])
 unzip
@@ -70,6 +86,7 @@ unzip
         e)
       b)
     a
+
 filter
   = \(a :: _) (b :: _) -> case'List
     (\_ -> _)
@@ -77,23 +94,28 @@ filter
     (\(c :: _) (d :: _) -> _rhs
       ((\(e :: _) -> case'Bool (\_ -> _) (filter a d) (c : filter a d) e) (a c)))
     b
+
 tail :: forall (a :: _) . [a] -> [a]
 tail
   = \(a :: _) -> case'List (\_ -> _) (_rhs undefined) (\_ (b :: _) -> _rhs b) a
+
 pairs :: forall (a :: _) . [a] -> [HList (a : a : '[])]
 pairs = \(a :: _) -> _rhs (zip a (tail a))
+
 foldl'
   = \(a :: _) (b :: _) (c :: _) -> case'List
     (\_ -> _)
     (_rhs b)
     (\(d :: _) (e :: _) -> _rhs (foldl' a (a b d) e))
     c
+
 foldr1
   = \(a :: _) (b :: _) -> case'List
     (\_ -> _)
     (_rhs undefined)
     (\(c :: _) (d :: _) -> _rhs (foldr a c d))
     b
+
 split
   = \(a :: _) -> case'List
     (\_ -> _)
@@ -115,6 +137,7 @@ split
                   k)
                 d)) -> HCons (b : e) (HCons f HNil))
     a
+
 mergeBy
   = \(a :: _) (b :: _) (c :: _) -> case'List
     (\_ -> _)
@@ -132,6 +155,7 @@ mergeBy
           (a d f)))
       c)
     b
+
 sortBy
   = \(a :: _) (b :: _) -> case'List
     (\_ -> _)
@@ -142,8 +166,10 @@ sortBy
       (\_ _ -> _rhs (uncurry (mergeBy a) ((sortBy a *** sortBy a) (split b))))
       d)
     b
+
 iterate :: forall (a :: _) . (a -> a) -> a -> [a]
 iterate = \(a :: _) (b :: _) -> _rhs (b : iterate a (a b))
+
 fst
   = \(a :: _) -> hlistConsCase
     _
@@ -152,6 +178,7 @@ fst
       (\_ (d :: _) -> hlistNilCase _ (_rhs b) d)
       c)
     a
+
 snd
   = \(a :: _) -> hlistConsCase
     _
@@ -160,15 +187,23 @@ snd
       (\(c :: _) (d :: _) -> hlistNilCase _ (_rhs c) d)
       b)
     a
+
 (|||) = \(a :: _) (b :: _) -> case'Bool (\_ -> _) (_rhs b) (_rhs True) a
+
 infixr 2 |||
+
 (&&&) = \(a :: _) (b :: _) -> case'Bool (\_ -> _) (_rhs False) (_rhs b) a
+
 infixr 3 &&&
+
 data RecItem :: Type where
     RecItem :: String -> Type -> RecItem
+
 recItemType = \(a :: _) -> case'RecItem (\_ -> _) (\_ (b :: _) -> _rhs b) a
+
 data RecordC (_ :: [RecItem]) :: Type where
     RecordCons :: forall (a :: [RecItem]) . HList (map recItemType a) -> RecordC a
+
 isKeyC
   = \(a :: _) (b :: _) (c :: _) -> case'List
     (\_ -> _)
@@ -179,8 +214,11 @@ isKeyC
         (primIfThenElse (a == f) (b `'EqCTt` g) (isKeyC a b e)))
       d)
     c
+
 fstTup = _rhs (hlistConsCase (_ :: _) \(a :: _) _ -> a)
+
 sndTup = _rhs (hlistConsCase (_ :: _) \_ (a :: _) -> a)
+
 project
   :: forall (a :: _) (b :: [RecItem])
     . forall (c :: String) -> isKeyC c a b => RecordC b -> a
@@ -207,156 +245,304 @@ project
         d)
       e)
     b
+
 rgb = \(a :: _) (b :: _) (c :: _) -> _rhs (V4 a b c 1.0)
+
 black = _rhs (rgb 0.0 0.0 0.0)
+
 gray = _rhs (rgb 0.5 0.5 0.5)
+
 silver = _rhs (rgb 0.75 0.75 0.75)
+
 white = _rhs (rgb 1.0 1.0 1.0)
+
 maroon = _rhs (rgb 0.5 0.0 0.0)
+
 red = _rhs (rgb 1.0 0.0 0.0)
+
 olive = _rhs (rgb 0.5 0.5 0.0)
+
 yellow = _rhs (rgb 1.0 1.0 0.0)
+
 green = _rhs (rgb 0.0 0.5 0.0)
+
 lime = _rhs (rgb 0.0 1.0 0.0)
+
 teal = _rhs (rgb 0.0 0.5 0.5)
+
 aqua = _rhs (rgb 0.0 1.0 1.0)
+
 navy = _rhs (rgb 0.0 0.0 0.5)
+
 blue = _rhs (rgb 0.0 0.0 1.0)
+
 purple = _rhs (rgb 0.5 0.0 0.5)
+
 fuchsia = _rhs (rgb 1.0 0.0 1.0)
+
 colorImage1 = _rhs (ColorImage @(fromInt 1))
+
 colorImage2 = _rhs (ColorImage @(fromInt 2))
+
 depthImage1 = _rhs (DepthImage @(fromInt 1))
+
 v3FToV4F :: Vec (fromInt 3) Float -> Vec (fromInt 4) Float
 v3FToV4F
   = \(a :: _) -> _rhs
     (V4 (swizzscalar a Sx) (swizzscalar a Sy) (swizzscalar a Sz) (fromInt 1))
+
 radians = _rhs PrimRadians
+
 degrees = _rhs PrimDegrees
+
 sin = _rhs PrimSin
+
 cos = _rhs PrimCos
+
 tan = _rhs PrimTan
+
 sinh = _rhs PrimSinH
+
 cosh = _rhs PrimCosH
+
 tanh = _rhs PrimTanH
+
 asin = _rhs PrimASin
+
 asinh = _rhs PrimASinH
+
 acos = _rhs PrimACos
+
 acosh = _rhs PrimACosH
+
 atan = _rhs PrimATan
+
 atanh = _rhs PrimATanH
+
 atan2 = _rhs PrimATan2
+
 pow = _rhs PrimPow
+
 exp = _rhs PrimExp
+
 log = _rhs PrimLog
+
 exp2 = _rhs PrimExp2
+
 log2 = _rhs PrimLog2
+
 sqrt = _rhs PrimSqrt
+
 inversesqrt = _rhs PrimInvSqrt
+
 abs = _rhs PrimAbs
+
 sign = _rhs PrimSign
+
 floor = _rhs PrimFloor
+
 trunc = _rhs PrimTrunc
+
 round = _rhs PrimRound
+
 roundEven = _rhs PrimRoundEven
+
 ceil = _rhs PrimCeil
+
 fract = _rhs PrimFract
+
 mod = _rhs PrimMod
+
 min = _rhs PrimMin
+
 max = _rhs PrimMax
+
 modF = _rhs PrimModF
+
 clamp = _rhs PrimClamp
+
 clampS = _rhs PrimClampS
+
 mix = _rhs PrimMix
+
 mixS = _rhs PrimMixS
+
 mixB = _rhs PrimMixB
+
 step = _rhs PrimStep
+
 stepS = _rhs PrimStepS
+
 smoothstep = _rhs PrimSmoothStep
+
 smoothstepS = _rhs PrimSmoothStepS
+
 isNan = _rhs PrimIsNan
+
 isInf = _rhs PrimIsInf
+
 dFdx = _rhs PrimDFdx
+
 dFdy = _rhs PrimDFdy
+
 fWidth = _rhs PrimFWidth
+
 noise1 = _rhs PrimNoise1
+
 noise2 = _rhs PrimNoise2
+
 noise3 = _rhs PrimNoise3
+
 noise4 = _rhs PrimNoise4
+
 length = _rhs PrimLength
+
 distance = _rhs PrimDistance
+
 dot = _rhs PrimDot
+
 cross = _rhs PrimCross
+
 normalize = _rhs PrimNormalize
+
 faceforward = _rhs PrimFaceForward
+
 reflect = _rhs PrimReflect
+
 refract = _rhs PrimRefract
+
 transpose = _rhs PrimTranspose
+
 det = _rhs PrimDeterminant
+
 inv = _rhs PrimInverse
+
 outer = _rhs PrimOuterProduct
+
 bAnd = _rhs PrimBAnd
+
 bOr = _rhs PrimBOr
+
 bXor = _rhs PrimBXor
+
 bNot = _rhs PrimBNot
+
 bAndS = _rhs PrimBAndS
+
 bOrS = _rhs PrimBOrS
+
 bXorS = _rhs PrimBXorS
+
 shiftL = _rhs PrimBShiftL
+
 shiftR = _rhs PrimBShiftR
+
 shiftLS = _rhs PrimBShiftLS
+
 shiftRS = _rhs PrimBShiftRS
+
 floatBitsToInt = _rhs PrimFloatBitsToInt
+
 floatBitsToWord = _rhs PrimFloatBitsToUInt
+
 intBitsToFloat = _rhs PrimIntBitsToFloat
+
 wordBitsToFloat = _rhs PrimUIntBitsToFloat
+
 infixl 7 *
+
 infixl 7 /
+
 infixl 7 %
+
 infixl 6 +
+
 infixl 6 -
+
 infix 4 /=
+
 infix 4 <
+
 infix 4 <=
+
 infix 4 >=
+
 infix 4 >
+
 infixr 3 &&
+
 infixr 2 ||
+
 infix 7 dot
+
 infix 7 cross
+
 infixr 7 *.
+
 infixl 7 .*
+
 infixl 7 .*.
+
 (+) = \(a :: _) (b :: _) -> _rhs (PrimAdd a b)
+
 (-) = \(a :: _) (b :: _) -> _rhs (PrimSub a b)
+
 (*) = \(a :: _) (b :: _) -> _rhs (PrimMul a b)
+
 (/) = \(a :: _) (b :: _) -> _rhs (PrimDiv a b)
+
 (%) = \(a :: _) (b :: _) -> _rhs (PrimMod a b)
+
 neg = \(a :: _) -> _rhs (PrimNeg a)
+
 (/=) = \(a :: _) (b :: _) -> _rhs (PrimNotEqual a b)
+
 (<) = \(a :: _) (b :: _) -> _rhs (PrimLessThan a b)
+
 (<=) = \(a :: _) (b :: _) -> _rhs (PrimLessThanEqual a b)
+
 (>=) = \(a :: _) (b :: _) -> _rhs (PrimGreaterThanEqual a b)
+
 (>) = \(a :: _) (b :: _) -> _rhs (PrimGreaterThan a b)
+
 (&&) = \(a :: _) (b :: _) -> _rhs (PrimAnd a b)
+
 (||) = \(a :: _) (b :: _) -> _rhs (PrimOr a b)
+
 xor = _rhs PrimXor
+
 not = \(a :: _) -> _rhs (PrimNot a)
+
 any = \(a :: _) -> _rhs (PrimAny a)
+
 all = \(a :: _) -> _rhs (PrimAll a)
+
 (.*.) = \(a :: _) (b :: _) -> _rhs (PrimMulMatMat a b)
+
 (*.) = \(a :: _) (b :: _) -> _rhs (PrimMulMatVec a b)
+
 (.*) = \(a :: _) (b :: _) -> _rhs (PrimMulVecMat a b)
+
 infixl 7 *!
+
 infixl 7 /!
+
 infixl 7 %!
+
 infixl 6 +!
+
 infixl 6 -!
+
 (+!) = \(a :: _) (b :: _) -> _rhs (PrimAddS a b)
+
 (-!) = \(a :: _) (b :: _) -> _rhs (PrimSubS a b)
+
 (*!) = \(a :: _) (b :: _) -> _rhs (PrimMulS a b)
+
 (/!) = \(a :: _) (b :: _) -> _rhs (PrimDivS a b)
+
 (%!) = \(a :: _) (b :: _) -> _rhs (PrimModS a b)
+
 perspective
   :: Float -> Float -> Float -> Float -> Mat (fromInt 4) (fromInt 4) Float
 perspective
@@ -376,6 +562,7 @@ perspective
         (fromInt 0)
         (fromInt 0 - fromInt 2 * b * a / (b - a))
         (fromInt 0))
+
 rotMatrixZ
   = \(a :: _) -> _rhs
     \(b := _rhs (cos a)) (c := _rhs (sin a)) -> M44F
@@ -383,6 +570,7 @@ rotMatrixZ
       (V4 (fromInt 0 - c) b (fromInt 0) (fromInt 0))
       (V4 (fromInt 0) (fromInt 0) (fromInt 1) (fromInt 0))
       (V4 (fromInt 0) (fromInt 0) (fromInt 0) (fromInt 1))
+
 rotMatrixY
   = \(a :: _) -> _rhs
     \(b := _rhs (cos a)) (c := _rhs (sin a)) -> M44F
@@ -390,6 +578,7 @@ rotMatrixY
       (V4 (fromInt 0) (fromInt 1) (fromInt 0) (fromInt 0))
       (V4 c (fromInt 0) b (fromInt 0))
       (V4 (fromInt 0) (fromInt 0) (fromInt 0) (fromInt 1))
+
 rotMatrixX
   = \(a :: _) -> _rhs
     \(b := _rhs (cos a)) (c := _rhs (sin a)) -> M44F
@@ -397,9 +586,11 @@ rotMatrixX
       (V4 (fromInt 0) b c (fromInt 0))
       (V4 (fromInt 0) (fromInt 0 - c) b (fromInt 0))
       (V4 (fromInt 0) (fromInt 0) (fromInt 0) (fromInt 1))
+
 rotationEuler
   = \(a :: _) (b :: _) (c :: _) -> _rhs
     (rotMatrixY a .*. rotMatrixX b .*. rotMatrixZ c)
+
 translateBefore4 :: Vec (fromInt 3) Float -> Mat (fromInt 4) (fromInt 4) Float
 translateBefore4
   = \(a :: _) -> _rhs
@@ -413,6 +604,7 @@ translateBefore4
                 (swizzscalar a Sy)
                 (swizzscalar a Sz)
                 (fromInt 1))) -> M44F b c d e
+
 lookat
   :: Vec (fromInt 3) Float
     -> Vec (fromInt 3) Float
@@ -434,7 +626,9 @@ lookat
                     (d e)
                     (V4 (fromInt 0) (fromInt 0) (fromInt 0) (fromInt 1)))) -> h
       .*. translateBefore4 (neg a)
+
 scale = \(a :: _) (b :: _) -> _rhs (b * V4 a a a 1.0)
+
 fromTo :: Float -> Float -> [Float]
 fromTo
   = \(a :: _) (b :: _) -> case'Bool
@@ -442,6 +636,7 @@ fromTo
     (_rhs (a : fromTo (a + fromInt 1) b))
     (_rhs [])
     (a > b)
+
 (!!) :: forall (a :: _) . [a] -> Int -> a
 (!!)
   = \(a :: _) (b :: _) -> case'List
@@ -453,7 +648,6 @@ fromTo
       (_rhs c)
       (fromInt 0 == b))
     a
-main is not found
 ------------ trace
 const :: forall a b . a -> b -> a
 otherwise :: Bool