diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-02-25 10:50:18 +0100 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-02-25 10:50:29 +0100 |
commit | c68613d03f2e918ff6e6d0ad05921d1108fe9470 (patch) | |
tree | 652d3bc470aeb374e4b4bbd7e99955f32d1f6f89 /lc | |
parent | 1c2ac2fb7ff728c541bee9a4f12d0ae57a4d90e0 (diff) |
do not wire-in ignoring .ignore tests
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 |