diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-01-23 09:34:16 +0100 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-01-23 09:34:16 +0100 |
commit | 940ebb71ef18c8e85cc0bb482189eb1c114d1084 (patch) | |
tree | b0bd58fec48ffe4f73504d5984ed6c677dd84823 /lc | |
parent | 803972fcc4ecc6b3c65c64ed09831e17cd4e81d2 (diff) |
major refactoring
Diffstat (limited to 'lc')
-rw-r--r-- | lc/Builtins.lc | 2 | ||||
-rw-r--r-- | lc/Prelude.lc | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/lc/Builtins.lc b/lc/Builtins.lc index f05e501a..27490d18 100644 --- a/lc/Builtins.lc +++ b/lc/Builtins.lc | |||
@@ -14,6 +14,8 @@ data Nat = Zero | Succ Nat | |||
14 | 14 | ||
15 | data List a = Nil | Cons a (List a) | 15 | data List a = Nil | Cons a (List a) |
16 | 16 | ||
17 | infixr 5 : | ||
18 | |||
17 | type family JoinTupleType t1 t2 where | 19 | type family JoinTupleType t1 t2 where |
18 | -- TODO | 20 | -- TODO |
19 | JoinTupleType a () = a | 21 | JoinTupleType a () = a |
diff --git a/lc/Prelude.lc b/lc/Prelude.lc index e731aadf..e8334192 100644 --- a/lc/Prelude.lc +++ b/lc/Prelude.lc | |||
@@ -9,7 +9,6 @@ import Builtins | |||
9 | infixr 9 . | 9 | infixr 9 . |
10 | infixl 7 `PrimMulMatVec`, `PrimDot` | 10 | infixl 7 `PrimMulMatVec`, `PrimDot` |
11 | infixr 3 *** | 11 | infixr 3 *** |
12 | infixr 5 : | ||
13 | infixr 0 $ | 12 | infixr 0 $ |
14 | --infixl 0 & | 13 | --infixl 0 & |
15 | 14 | ||