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 | |
| parent | c5d17f3b0db34216d9ce4884b4a0ae044ee57257 (diff) | |
try to speed up parseTerm
Diffstat (limited to '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 |