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 |