diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-10-22 22:02:18 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-10-22 22:02:18 +0200 |
| commit | d6d07f3bf20b4a3c0e51b4414fb0e4538176d294 (patch) | |
| tree | 46b1a4e0775dfb812e62bec49c8bf63ef4bf22f6 /src/CHAD.hs | |
| parent | 79e072eddf0ec2a97ca455c27cb5ff6f2132bbab (diff) | |
Less warnings
Diffstat (limited to 'src/CHAD.hs')
| -rw-r--r-- | src/CHAD.hs | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/src/CHAD.hs b/src/CHAD.hs index 786de07..4694ac4 100644 --- a/src/CHAD.hs +++ b/src/CHAD.hs @@ -295,18 +295,18 @@ plus = EPlus -- STBool -> ENil ext -- plus STAccum{} _ _ = error "Accumulators not allowed in input program" -plusSparse :: STy a - -> Ex env (TEither TNil a) -> Ex env (TEither TNil a) - -> Ex (a : a : env) a - -> Ex env (TEither TNil a) -plusSparse t a b adder = - ELet ext b $ - ECase ext (weakenExpr WSink a) - (EVar ext (STEither STNil t) (IS IZ)) - (EInr ext STNil - (ECase ext (EVar ext (STEither STNil t) (IS IZ)) - (EVar ext t (IS IZ)) - (weakenExpr (WCopy (WCopy WSink)) adder))) +-- plusSparse :: STy a +-- -> Ex env (TEither TNil a) -> Ex env (TEither TNil a) +-- -> Ex (a : a : env) a +-- -> Ex env (TEither TNil a) +-- plusSparse t a b adder = +-- ELet ext b $ +-- ECase ext (weakenExpr WSink a) +-- (EVar ext (STEither STNil t) (IS IZ)) +-- (EInr ext STNil +-- (ECase ext (EVar ext (STEither STNil t) (IS IZ)) +-- (EVar ext t (IS IZ)) +-- (weakenExpr (WCopy (WCopy WSink)) adder))) zeroTup :: SList STy env0 -> Ex env (Tup (D2E env0)) zeroTup SNil = ENil ext |