diff options
| -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)) $ |