From 4618ed8216283294d7dda31681354d370d4b3acf Mon Sep 17 00:00:00 2001 From: Péter Diviánszky Date: Thu, 14 Jan 2016 11:43:25 +0100 Subject: allow scalars to be added --- lc/Builtins.lc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lc') diff --git a/lc/Builtins.lc b/lc/Builtins.lc index 9150691d..91e7fb81 100644 --- a/lc/Builtins.lc +++ b/lc/Builtins.lc @@ -464,7 +464,7 @@ data Output where -- * Builtin Primitive Functions * -- Arithmetic Functions (componentwise) -PrimAdd, PrimSub, PrimMul :: Num (MatVecElem a) => a -> a -> a +PrimAdd, PrimSub, PrimMul :: Num (MatVecScalarElem 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 -- cgit v1.2.3