summaryrefslogtreecommitdiff
path: root/lc
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-02-06 23:35:23 +0100
committerPéter Diviánszky <divipp@gmail.com>2016-02-07 21:36:23 +0100
commit8e39dd5fae759b9aa70afd4bab55d8c53b13c0ef (patch)
tree16ccf7899ed86f2f96babc81cb68b07cb63d86da /lc
parent7d3ad0e76e07f6d85f96e3b391fbf620dcc5c67f (diff)
work on the elimination of ConName
Diffstat (limited to 'lc')
-rw-r--r--lc/Builtins.lc6
1 files changed, 3 insertions, 3 deletions
diff --git a/lc/Builtins.lc b/lc/Builtins.lc
index 77027a39..d4226f25 100644
--- a/lc/Builtins.lc
+++ b/lc/Builtins.lc
@@ -462,7 +462,7 @@ PrimBShiftL, PrimBShiftR :: (Integral t, a ~ VecScalar d t, b ~ VecScalar d
462PrimBShiftLS, PrimBShiftRS :: (Integral t, a ~ VecScalar d t) => a -> Word -> a 462PrimBShiftLS, PrimBShiftRS :: (Integral t, a ~ VecScalar d t) => a -> Word -> a
463-- Logic Functions 463-- Logic Functions
464PrimAnd, PrimOr, PrimXor :: Bool -> Bool -> Bool 464PrimAnd, PrimOr, PrimXor :: Bool -> Bool -> Bool
465PrimNot :: (a ~ VecScalar d Bool) => a -> a 465PrimNot :: forall a d . (a ~ VecScalar d Bool) => a -> a
466PrimAny, PrimAll :: VecScalar d Bool -> Bool 466PrimAny, PrimAll :: VecScalar d Bool -> Bool
467 467
468-- Angle, Trigonometry and Exponential Functions 468-- Angle, Trigonometry and Exponential Functions
@@ -509,8 +509,8 @@ PrimMulVecMat :: Vec h a -> Mat h w a -> Vec w a
509PrimMulMatMat :: Mat i j a -> Mat j k a -> Mat i k a 509PrimMulMatMat :: Mat i j a -> Mat j k a -> Mat i k a
510-- Vector and Scalar Relational Functions 510-- Vector and Scalar Relational Functions
511PrimLessThan, PrimLessThanEqual, PrimGreaterThan, PrimGreaterThanEqual, PrimEqualV, PrimNotEqualV 511PrimLessThan, PrimLessThanEqual, PrimGreaterThan, PrimGreaterThanEqual, PrimEqualV, PrimNotEqualV
512 :: (Num t, a ~ VecScalar d t, b ~ VecScalar d Bool) => a -> a -> b 512 :: forall a d t b . (Num t, a ~ VecScalar d t, b ~ VecScalar d Bool) => a -> a -> b
513PrimEqual, PrimNotEqual :: (t ~ MatVecScalarElem a) => a -> a -> Bool 513PrimEqual, PrimNotEqual :: forall a t . (t ~ MatVecScalarElem a) => a -> a -> Bool
514-- Fragment Processing Functions 514-- Fragment Processing Functions
515PrimDFdx, PrimDFdy, PrimFWidth 515PrimDFdx, PrimDFdy, PrimFWidth
516 :: (a ~ VecScalar d Float) => a -> a 516 :: (a ~ VecScalar d Float) => a -> a