1 files changed, 1 insertions, 572 deletions

diff --git a/testdata/accept/Builtins.lc b/testdata/accept/Builtins.lc
index 674335cb..8fdb2f22 100644..120000
--- a/testdata/accept/Builtins.lc
+++ b/testdata/accept/Builtins.lc
@@ -1,572 +1 @@
-{-# LANGUAGE NoImplicitPrelude #-}
-module Builtins
-    ( module Internals
-    , module Builtins
-    ) where
-
-import Internals
-
-id x = x
-
----------------------------------------
-
-data Nat = Zero | Succ Nat
-
-data List a = Nil | Cons a (List a)
-
-type family JoinTupleType t1 t2 where
-    -- TODO
-    JoinTupleType () a = a
-    JoinTupleType a () = a
-    JoinTupleType (a, b) c = (a, b, c)
-    JoinTupleType a (b, c) = (a, b, c)
-    JoinTupleType a (b, c, d) = (a, b, c, d)
-    JoinTupleType a (b, c, d, e) = (a, b, c, d, e)
-    JoinTupleType a b = (a, b)
-
-class AttributeTuple a
-instance AttributeTuple a -- TODO
-class ValidOutput a
-instance ValidOutput a -- TODO
-class ValidFrameBuffer a
-instance ValidFrameBuffer a -- TODO
-
-data VecS (a :: Type) :: Nat -> Type where
-  V2 :: a -> a -> VecS a 2
-  V3 :: a -> a -> a -> VecS a 3
-  V4 :: a -> a -> a -> a -> VecS a 4
-
-type family Vec (n :: Nat) t  where Vec n t = VecS t n
-
-type family VecScalar (n :: Nat) a where
-    VecScalar 1 a = a
-    VecScalar ('Succ ('Succ n)) a = Vec ('Succ ('Succ n)) a
-
--- may be a data family?
-type family TFVec (n :: Nat) a where
-    TFVec n a = Vec n a     -- TODO: check range: n = 2,3,4;  a is Float, Int, Word, Bool
-
--- todo: use less constructors with more parameters
-data Mat :: Nat -> Nat -> Type -> Type where
-  M22F :: Vec 2 Float -> Vec 2 Float -> Mat 2 2 Float
-  M32F :: Vec 3 Float -> Vec 3 Float -> Mat 3 2 Float
-  M42F :: Vec 4 Float -> Vec 4 Float -> Mat 4 2 Float
-  M23F :: Vec 2 Float -> Vec 2 Float -> Vec 2 Float -> Mat 2 3 Float
-  M33F :: Vec 3 Float -> Vec 3 Float -> Vec 3 Float -> Mat 3 3 Float
-  M43F :: Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 3 Float
-  M24F :: Vec 2 Float -> Vec 2 Float -> Vec 2 Float -> Vec 2 Float -> Mat 2 4 Float
-  M34F :: Vec 3 Float -> Vec 3 Float -> Vec 3 Float -> Vec 3 Float -> Mat 3 4 Float
-  M44F :: Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float
-
-type family MatVecElem a where
-    MatVecElem (VecS a n) = a
-    MatVecElem (Mat i j a) = a
-
-type family MatVecScalarElem a where
-    MatVecScalarElem Float = Float
-    MatVecScalarElem Bool = Bool
-    MatVecScalarElem Int = Int
-    MatVecScalarElem (VecS a n) = a
-    MatVecScalarElem (Mat i j a) = a
-
--- may be a data family?
-type family TFMat i j where
-    TFMat (VecS a i) (VecS a' j) = T2 (a ~ a') (Mat i j a)
-
---------------------------------------- swizzling
-
-data Swizz = Sx | Sy | Sz | Sw
-
--- todo: use pattern matching
-mapVec :: forall a b m . (a -> b) -> Vec m a -> Vec m b
-mapVec @a @b @m f v = 'VecSCase (\m _ -> 'Vec m b)
-    (\x y -> V2 (f x) (f y))
-    (\x y z -> V3 (f x) (f y) (f z))
-    (\x y z w -> V4 (f x) (f y) (f z) (f w))
-    @m
-    v
-
--- todo: make it more type safe
-swizzscalar :: forall n . Vec n a -> Swizz -> a
-swizzscalar (V2 x y) Sx = x
-swizzscalar (V2 x y) Sy = y
-swizzscalar (V3 x y z) Sx = x
-swizzscalar (V3 x y z) Sy = y
-swizzscalar (V3 x y z) Sz = z
-swizzscalar (V4 x y z w) Sx = x
-swizzscalar (V4 x y z w) Sy = y
-swizzscalar (V4 x y z w) Sz = z
-swizzscalar (V4 x y z w) Sw = w
-
--- used to prevent unfolding of swizzvector on variables (behind GPU lambda)
-definedVec :: forall a m . Vec m a -> Bool
-definedVec (V2 _ _) = True
-definedVec (V3 _ _ _) = True
-definedVec (V4 _ _ _ _) = True
-
-swizzvector :: forall n . forall m . Vec n a -> Vec m Swizz -> Vec m a
-swizzvector v w | definedVec v = mapVec (swizzscalar v) w
-
-
---------------------------------------- type classes
-
-class CNum a
-
-instance CNum           Int
-instance CNum           Float
-
-class Signed a
-
-instance Signed         Int
-instance Signed         Float
-
-class Num a where
-  fromInt :: Int -> a
-  compare :: a -> a -> Ordering
-  negate :: a -> a
-
-instance Num Int where
-  fromInt = id
-  compare = primCompareInt
-  negate = primNegateInt
-instance Num Word where
-  fromInt = primIntToWord
-  compare = primCompareWord
-  negate = primNegateWord
-instance Num Float where
-  fromInt = primIntToFloat
-  compare = primCompareFloat
-  negate = primNegateFloat
-
-class Component a where
-  vec2 :: a -> a -> Vec 2 a
-  vec3 :: a -> a -> a -> Vec 3 a
-  vec4 :: a -> a -> a -> a -> Vec 4 a
-  zeroComp :: a
-  oneComp :: a
---  PrimZero, PrimOne :: {- (Component a) => -- TODO -} a
-
-instance Component Bool where
-  vec2 = V2
-  vec3 = V3
-  vec4 = V4
-  zeroComp = False
-  oneComp = True
-instance Component Int where
-  vec2 = V2
-  vec3 = V3
-  vec4 = V4
-  zeroComp = 0 :: Int   -- todo
-  oneComp = 1 :: Int    -- todo
-
-instance Component Word where
-  vec2 = V2
-  vec3 = V3
-  vec4 = V4
-  zeroComp = 0 :: Word
-  oneComp = 1 :: Word
-
-instance Component Float where
-  vec2 = V2
-  vec3 = V3
-  vec4 = V4
-  zeroComp = 0.0    -- todo: 0
-  oneComp = 1.0     -- todo: 1
-instance Component (VecS Float 2) where
-  vec2 = V2
-  vec3 = V3
-  vec4 = V4
-  zeroComp = V2 0.0 0.0
-  oneComp = V2 1.0 1.0
-instance Component (VecS Float 3) where
-  vec2 = V2
-  vec3 = V3
-  vec4 = V4
-  zeroComp = V3 0.0 0.0 0.0
-  oneComp = V3 1.0 1.0 1.0
-instance Component (VecS Float 4) where
-  vec2 = V2
-  vec3 = V3
-  vec4 = V4
-  zeroComp = V4 0.0 0.0 0.0 0.0
-  oneComp = V4 1.0 1.0 1.0 1.0
-instance Component (VecS Bool 2) {-where-}
-instance Component (VecS Bool 3) {-where-}
-instance Component (VecS Bool 4) where
-  vec2 = V2
-  vec3 = V3
-  vec4 = V4
-  zeroComp = V4 False False False False
-  oneComp = V4 True True True True
-
-class Integral a
-
-instance Integral       Int
-instance Integral       Word
-
-class NumComponent a
-
-instance NumComponent   Int
-instance NumComponent   Word
-instance NumComponent   Float
-instance NumComponent   (VecS Float 2)
-instance NumComponent   (VecS Float 3)
-instance NumComponent   (VecS Float 4)
-
-class Floating a
-
-instance Floating       Float
-instance Floating       (VecS Float 2)  -- todo: use Vec
-instance Floating       (VecS Float 3)
-instance Floating       (VecS Float 4)
-instance Floating       (Mat 2 2 Float)
-instance Floating       (Mat 2 3 Float)
-instance Floating       (Mat 2 4 Float)
-instance Floating       (Mat 3 2 Float)
-instance Floating       (Mat 3 3 Float)
-instance Floating       (Mat 3 4 Float)
-instance Floating       (Mat 4 2 Float)
-instance Floating       (Mat 4 3 Float)
-instance Floating       (Mat 4 4 Float)
-
-data BlendingFactor
-    = Zero' --- FIXME: modified
-    | One
-    | SrcColor
-    | OneMinusSrcColor
-    | DstColor
-    | OneMinusDstColor
-    | SrcAlpha
-    | OneMinusSrcAlpha
-    | DstAlpha
-    | OneMinusDstAlpha
-    | ConstantColor
-    | OneMinusConstantColor
-    | ConstantAlpha
-    | OneMinusConstantAlpha
-    | SrcAlphaSaturate
-
-data BlendEquation
-    = FuncAdd
-    | FuncSubtract
-    | FuncReverseSubtract
-    | Min
-    | Max
-
-data LogicOperation
-    = Clear
-    | And
-    | AndReverse
-    | Copy
-    | AndInverted
-    | Noop
-    | Xor
-    | Or
-    | Nor
-    | Equiv
-    | Invert
-    | OrReverse
-    | CopyInverted
-    | OrInverted
-    | Nand
-    | Set
-
-data StencilOperation
-    = OpZero
-    | OpKeep
-    | OpReplace
-    | OpIncr
-    | OpIncrWrap
-    | OpDecr
-    | OpDecrWrap
-    | OpInvert
-
-data ComparisonFunction
-    = Never
-    | Less
-    | Equal
-    | Lequal
-    | Greater
-    | Notequal
-    | Gequal
-    | Always
-
-data ProvokingVertex
-    = LastVertex
-    | FirstVertex
-
-data FrontFace
-    = CW
-    | CCW
-
-data CullMode
-    = CullFront FrontFace
-    | CullBack FrontFace
-    | CullNone
-
-data PointSize
-    = PointSize Float
-    | ProgramPointSize
-
-data PolygonMode
-    = PolygonFill
-    | PolygonPoint PointSize
-    | PolygonLine Float
-
-data PolygonOffset
-    = NoOffset
-    | Offset Float Float
-
-data PointSpriteCoordOrigin
-    = LowerLeft
-    | UpperLeft
-
-
-data Depth a where
-data Stencil a where
-data Color a where
-
-type family ColorRepr a where
-    ColorRepr () = ()
-    ColorRepr (a, b) = (Color a, Color b)
-    ColorRepr (a, b, c) = (Color a, Color b, Color c)
-    ColorRepr (a, b, c, d) = (Color a, Color b, Color c, Color d)
-    ColorRepr (a, b, c, d, e) = (Color a, Color b, Color c, Color d, Color e)
-    ColorRepr a = Color a -- TODO
-
-data PrimitiveType
-    = Triangle
-    | Line
-    | Point
-    | TriangleAdjacency
-    | LineAdjacency
-
--- builtin
-primTexture :: () -> Vec 2 Float -> Vec 4 Float
-
--- builtins
-Uniform   :: String -> t
-Attribute :: String -> t
-
-data FragmentShader :: Type -> Type where
-  FragmentShader          :: (a ~ ColorRepr t) => (b -> t)      -> FragmentShader (b -> a)
-  FragmentShaderDepth     :: (x ~ ColorRepr t, a ~ JoinTupleType (Depth Float) x) => (b -> (Float, t))
-                                                                -> FragmentShader (b -> a)
-  FragmentShaderRastDepth :: (x ~ ColorRepr t, a ~ JoinTupleType (Depth Float) x) => (b -> t)
-                                                                -> FragmentShader (b -> a)
-
-data RasterContext :: PrimitiveType -> Type where
-  TriangleCtx         :: CullMode -> PolygonMode -> PolygonOffset -> ProvokingVertex -> RasterContext Triangle
-  PointCtx            :: PointSize -> Float -> PointSpriteCoordOrigin                -> RasterContext Point
-  LineCtx             :: Float -> ProvokingVertex                                    -> RasterContext Line
-
-data Interpolated t where
-  Smooth, NoPerspective
-                      :: (Floating t) => t -> Interpolated t
-  Flat                ::                 t -> Interpolated t
-
-type family FTRepr' a where
-    -- TODO
-    FTRepr' [a] = a
-    FTRepr' ([a], [b]) = (a, b)
-    FTRepr' (Interpolated a) = a
-    FTRepr' (Interpolated a, Interpolated b) = (a, b)
-    FTRepr' (Interpolated a, Interpolated b, Interpolated c) = (a, b, c)
-
-data VertexOut a where
-  VertexOut           :: (a ~ FTRepr' x) => Vec 4 Float -> Float -> (){-TODO-} -> x -> VertexOut a
-
-data Blending :: Type -> Type where
-  NoBlending          ::                                   Blending t
-  BlendLogicOp        :: (Integral t) => LogicOperation -> Blending t
-  Blend               :: (BlendEquation, BlendEquation)
-                         -> ((BlendingFactor, BlendingFactor), (BlendingFactor, BlendingFactor))
-                         -> Vec 4 Float ->                 Blending Float
-
-{- TODO: more precise kinds
-  FragmentOperation    :: Semantic -> *
-  FragmentOut          :: Semantic -> *
-  VertexOut            :: ???
--}
-
-data StencilTests
-data StencilOps
-data Int32
-
-data FragmentOperation :: Type -> Type where
-  ColorOp             :: (mask ~ VecScalar d Bool, color ~ VecScalar d c, Num c) => Blending c -> mask
-                                                                   -> FragmentOperation (Color color)
-  DepthOp             :: ComparisonFunction -> Bool                -> FragmentOperation (Depth Float)
-  StencilOp           :: StencilTests -> StencilOps -> StencilOps  -> FragmentOperation (Stencil Int32)
-
-type family FragOps a where
-    FragOps (FragmentOperation t) = t
-    FragOps (FragmentOperation t1, FragmentOperation t2) = (t1, t2)
-    FragOps (FragmentOperation t1, FragmentOperation t2, FragmentOperation t3) = (t1, t2, t3)
-    FragOps (FragmentOperation t1, FragmentOperation t2, FragmentOperation t3, FragmentOperation t4) = (t1, t2, t3, t4)
-    FragOps (FragmentOperation t1, FragmentOperation t2, FragmentOperation t3, FragmentOperation t4, FragmentOperation t5) = (t1, t2, t3, t4, t5)
-
-data AccumulationContext a where
-  AccumulationContext  :: (a ~ FragOps t) => t -> AccumulationContext a
-
-data FragmentFilter t where
-  PassAll             ::                FragmentFilter t
-  Filter              :: (t -> Bool) -> FragmentFilter t
-
-data VertexStream (a :: PrimitiveType) t where
-  Fetch               :: (AttributeTuple t) => String -> t -> VertexStream a t
-  FetchArrays         :: (AttributeTuple t, t ~ FTRepr' t') => t' -> VertexStream a t
-
-fetch s a t = Fetch @a s t
-fetchArrays a t = FetchArrays @a t
-
-data PrimitiveStream (p :: PrimitiveType) :: Nat -> Type -> Type where
-  Transform     :: (a -> VertexOut b) -> VertexStream p a -> PrimitiveStream p 1 b
-
-  -- Render Operations
-data FragmentStream (n :: Nat) a where
-  Rasterize     :: RasterContext x -> PrimitiveStream x n a -> FragmentStream n a
-
-data FilteredFragmentStream (n :: Nat) a where
-  FilteredFragmentStream
-                :: FragmentFilter a -> FragmentStream n a -> FilteredFragmentStream n a
-
-data Fragments (n :: Nat) b where
-  Fragments     :: ValidOutput b => FragmentShader (a -> b) -> FilteredFragmentStream n a -> Fragments n b
-
--- todo: mutually defined with FrameBuffer and Image
-type family TFFrameBuffer a {-where
-    TFFrameBuffer (Image n t) = FrameBuffer n t
-    TFFrameBuffer (Image n1 t1, Image n2 t2) {- TODO  | n1 == n2 -} = FrameBuffer n1 (t1, t2)
-    TFFrameBuffer (Image n1 t1, Image n2 t2, Image n2 t3) {- TODO  | n1 == n2 && n2 == n3 -} = FrameBuffer n1 (t1, t2, t3)
--}
-data FrameBuffer (n :: Nat) b where
-  Accumulate   :: AccumulationContext b -> Fragments n b -> FrameBuffer n b -> FrameBuffer n b
-  FrameBuffer  :: (ValidFrameBuffer b, FrameBuffer n b ~ TFFrameBuffer a) => a -> FrameBuffer n b
-
-accumulate ctx ffilt fshader fstr fb = Accumulate ctx (Fragments fshader (FilteredFragmentStream ffilt fstr)) fb
-
-data Image :: Nat -> Type -> Type where
-  ColorImage          :: forall a d t color . (Num t, color ~ VecScalar d t)
-                      => color  -> Image a (Color color)
-  DepthImage          :: forall a . Float  -> Image a (Depth Float)
-  StencilImage        :: forall a . Int    -> Image a (Stencil Int)
-
-  -- texture support
-  PrjImage            :: FrameBuffer 1 a -> Image 1 a
-  PrjImageColor       :: FrameBuffer 1 (Depth Float, Color (Vec 4 Float)) -> Image 1 (Color (Vec 4 Float))
-
-data Output where
-  ScreenOut           :: FrameBuffer a b -> Output
-
--------------------------------------------------------------------
--- * Builtin Primitive Functions *
--- Arithmetic Functions (componentwise)
-
-PrimAdd, PrimSub, PrimMul     :: Num (MatVecElem a) => a -> a -> a
-PrimAddS, PrimSubS, PrimMulS  :: (t ~ MatVecScalarElem a, Num t) => a -> t -> a
-PrimDiv, PrimMod              :: (Num t, a ~ VecScalar d t) => a -> a -> a
-PrimDivS, PrimModS            :: (Num t, a ~ VecScalar d t) => a -> t -> a
-PrimNeg                       :: Signed (MatVecScalarElem a) => a -> a
--- Bit-wise Functions
-PrimBAnd, PrimBOr, PrimBXor   :: (Integral t, a ~ VecScalar d t) => a -> a -> a
-PrimBAndS, PrimBOrS, PrimBXorS:: (Integral t, a ~ VecScalar d t) => a -> t -> a
-PrimBNot                      :: (Integral t, a ~ VecScalar d t) => a -> a
-PrimBShiftL, PrimBShiftR      :: (Integral t, a ~ VecScalar d t, b ~ VecScalar d Word) => a -> b -> a
-PrimBShiftLS, PrimBShiftRS    :: (Integral t, a ~ VecScalar d t) => a -> Word -> a
--- Logic Functions
-PrimAnd, PrimOr, PrimXor      :: Bool -> Bool -> Bool
-PrimNot                       :: (a ~ VecScalar d Bool) => a -> a
-PrimAny, PrimAll              :: VecScalar d Bool -> Bool
-
--- Angle, Trigonometry and Exponential Functions
-PrimACos, PrimACosH, PrimASin, PrimASinH, PrimATan, PrimATanH, PrimCos, PrimCosH, PrimDegrees, PrimRadians, PrimSin, PrimSinH, PrimTan, PrimTanH, PrimExp, PrimLog, PrimExp2, PrimLog2, PrimSqrt, PrimInvSqrt
-                              :: (a ~ VecScalar d Float) => a -> a
-PrimPow, PrimATan2            :: (a ~ VecScalar d Float) => a -> a -> a
--- Common Functions
-PrimFloor, PrimTrunc, PrimRound, PrimRoundEven, PrimCeil, PrimFract
-                              :: (a ~ VecScalar d Float) => a -> a
-PrimMin, PrimMax              :: (Num t, a ~ VecScalar d t) => a -> a -> a
-PrimMinS, PrimMaxS            :: (Num t, a ~ VecScalar d t) => a -> t -> a
-PrimIsNan, PrimIsInf          :: (a ~ VecScalar d Float, b ~ VecScalar d Bool) => a -> b
-PrimAbs, PrimSign             :: (Signed t, a ~ VecScalar d t) => a -> a
-PrimModF                      :: (a ~ VecScalar d Float) => a -> (a, a)
-PrimClamp                     :: (Num t, a ~ VecScalar d t) => a -> a -> a -> a
-PrimClampS                    :: (Num t, a ~ VecScalar d t) => a -> t -> t -> a
-PrimMix                       :: (a ~ VecScalar d Float) => a -> a -> a -> a
-PrimMixS                      :: (a ~ VecScalar d Float) => a -> a -> Float -> a
-PrimMixB                      :: (a ~ VecScalar d Float, b ~ VecScalar d Bool) => a -> a -> b -> a
-PrimStep                      :: (a ~ TFVec d Float) => a -> a -> a
-PrimStepS                     :: (a ~ VecScalar d Float) => Float -> a -> a
-PrimSmoothStep                :: (a ~ TFVec d Float) => a -> a -> a -> a
-PrimSmoothStepS               :: (a ~ VecScalar d Float) => Float -> Float -> a -> a
-
--- Integer/Floatonversion Functions
-PrimFloatBitsToInt            :: VecScalar d Float -> VecScalar d Int
-PrimFloatBitsToUInt           :: VecScalar d Float -> VecScalar d Word
-PrimIntBitsToFloat            :: VecScalar d Int   -> VecScalar d Float
-PrimUIntBitsToFloat           :: VecScalar d Word  -> VecScalar d Float
--- Geometric Functions
-PrimLength                    :: (a ~ VecScalar d Float) => a -> Float
-PrimDistance, PrimDot         :: (a ~ VecScalar d Float) => a -> a -> Float
-PrimCross                     :: (a ~ VecScalar 3 Float) => a -> a -> a
-PrimNormalize                 :: (a ~ VecScalar d Float) => a -> a
-PrimFaceForward, PrimRefract  :: (a ~ VecScalar d Float) => a -> a -> a -> a
-PrimReflect                   :: (a ~ VecScalar d Float) => a -> a -> a
--- Matrix Functions
-PrimTranspose                 :: TFMat h w  -> TFMat w h
-PrimDeterminant               :: TFMat s s  -> Float
-PrimInverse                   :: TFMat s s  -> TFMat s s
-PrimOuterProduct              :: w          -> h          -> TFMat h w
-PrimMulMatVec                 :: TFMat h w  -> w          -> h
-PrimMulVecMat                 :: h          -> TFMat h w  -> w
-PrimMulMatMat                 :: TFMat i j  -> TFMat j k  -> TFMat i k
--- Vector and Scalar Relational Functions
-PrimLessThan, PrimLessThanEqual, PrimGreaterThan, PrimGreaterThanEqual, PrimEqualV, PrimNotEqualV
-                              :: (Num t, a ~ VecScalar d t, b ~ VecScalar d Bool) => a -> a -> b
-PrimEqual, PrimNotEqual       :: (t ~ MatVecScalarElem a) => a -> a -> Bool
--- Fragment Processing Functions
-PrimDFdx, PrimDFdy, PrimFWidth
-                              :: (a ~ VecScalar d Float) => a -> a
--- Noise Functions
-PrimNoise1                    :: VecScalar d Float -> Float
-PrimNoise2                    :: VecScalar d Float -> Vec 2 Float
-PrimNoise3                    :: VecScalar d Float -> Vec 3 Float
-PrimNoise4                    :: VecScalar d Float -> Vec 4 Float
-
-{-
--- Vec/Mat (de)construction
-PrimTupToV2                   :: Component a => PrimFun stage ((a,a)     -> V2 a)
-PrimTupToV3                   :: Component a => PrimFun stage ((a,a,a)   -> V3 a)
-PrimTupToV4                   :: Component a => PrimFun stage ((a,a,a,a) -> V4 a)
-PrimV2ToTup                   :: Component a => PrimFun stage (V2 a     -> (a,a))
-PrimV3ToTup                   :: Component a => PrimFun stage (V3 a   -> (a,a,a))
-PrimV4ToTup                   :: Component a => PrimFun stage (V4 a -> (a,a,a,a))
--}
-
---------------------
--- * Texture support
--- FIXME: currently only Float RGBA 2D texture is supported
-
-data Texture where
-  Texture2DSlot :: String -- texture slot name
-                -> Texture
-
-  Texture2D     :: Vec 2 Int -- FIXME: use Word here
-                -> Image 1 (Color (Vec 4 Float))
-                -> Texture
-
-data Filter
-  = PointFilter
-  | LinearFilter
-
-data EdgeMode
-  = Repeat
-  | MirroredRepeat
-  | ClampToEdge
-
-data Sampler = Sampler Filter EdgeMode Texture
-
--- builtin
-texture2D :: Sampler -> Vec 2 Float -> Vec 4 Float
-
+../../lc/Builtins.lc
\ No newline at end of file