diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-10-26 21:28:48 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-10-26 21:28:48 +0200 |
| commit | 57d826d7e1fae089a3ec61da60d6f1ca1a4e49d2 (patch) | |
| tree | c0cc2b97e1d112e50fa2c65287b36199507abc19 | |
| parent | 30314e18f48851edc3d39315ac4dd3f60a0a8421 (diff) | |
Fix EIdx derivative
| -rw-r--r-- | src/CHAD.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/CHAD.hs b/src/CHAD.hs index dda434c..8319080 100644 --- a/src/CHAD.hs +++ b/src/CHAD.hs @@ -1090,7 +1090,7 @@ drev des = \case (EIdx ext (EVar ext (STArr n (d1 eltty)) (IS (IS IZ))) (EVar ext (tTup (sreplicate n tIx)) IZ)) sub - (ELet ext (EBuild ext n (EVar ext (tTup (sreplicate n tIx)) (IS IZ)) $ + (ELet ext (EBuild ext n (EVar ext (tTup (sreplicate n tIx)) (IS (IS IZ))) $ ECase ext (EOp ext OIf (eidxEq n (EVar ext tIxN IZ) (EVar ext tIxN (IS (IS IZ))))) (EVar ext (d2 eltty) (IS (IS IZ))) (EZero eltty)) $ |