diff options
Diffstat (limited to 'lc')
| -rw-r--r-- | lc/Builtins.lc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lc/Builtins.lc b/lc/Builtins.lc index 6aac18f8..32c7e014 100644 --- a/lc/Builtins.lc +++ b/lc/Builtins.lc | |||
| @@ -23,6 +23,7 @@ mapVec f (V4 x y z w) = V4 (f x) (f y) (f z) (f w) | |||
| 23 | 23 | ||
| 24 | type family Vec (n :: Nat) t where Vec n t = VecS t n | 24 | type family Vec (n :: Nat) t where Vec n t = VecS t n |
| 25 | 25 | ||
| 26 | -- type family VecScalar (n :: Nat) a = r | r -> n, r -> a where | ||
| 26 | type family VecScalar (n :: Nat) a where | 27 | type family VecScalar (n :: Nat) a where |
| 27 | VecScalar 1 a = a | 28 | VecScalar 1 a = a |
| 28 | VecScalar ('Succ ('Succ n)) a = Vec ('Succ ('Succ n)) a | 29 | VecScalar ('Succ ('Succ n)) a = Vec ('Succ ('Succ n)) a |