diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-02-02 06:19:58 +0100 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-02-02 06:19:58 +0100 |
commit | 0134e614c1747d2d9aff56f260249d809b541287 (patch) | |
tree | be372f350f8cec8abea24ef438481ecccae8eb47 /lc/Internals.lc | |
parent | c5d17f3b0db34216d9ce4884b4a0ae044ee57257 (diff) |
try to speed up parseTerm
Diffstat (limited to 'lc/Internals.lc')
-rw-r--r-- | lc/Internals.lc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lc/Internals.lc b/lc/Internals.lc index df5814e6..0ea96032 100644 --- a/lc/Internals.lc +++ b/lc/Internals.lc | |||
@@ -41,6 +41,8 @@ type family T2 a b | |||
41 | -- equality constraints | 41 | -- equality constraints |
42 | type family EqCT (t :: Type) (a :: t) (b :: t) | 42 | type family EqCT (t :: Type) (a :: t) (b :: t) |
43 | 43 | ||
44 | type EqCTt = EqCT Type | ||
45 | |||
44 | --type instance EqCT t (a, b) (JoinTupleType a' b') = T2 (EqCT Type a a') (EqCT Type b b') | 46 | --type instance EqCT t (a, b) (JoinTupleType a' b') = T2 (EqCT Type a a') (EqCT Type b b') |
45 | 47 | ||
46 | -- builtin conjuction of constraint witnesses | 48 | -- builtin conjuction of constraint witnesses |