diff options
| author | Tom Smeding <t.j.smeding@uu.nl> | 2025-03-20 18:32:22 +0100 |
|---|---|---|
| committer | Tom Smeding <t.j.smeding@uu.nl> | 2025-03-20 18:32:22 +0100 |
| commit | d030802dd6d960afa80ac84a5580a46d39c02822 (patch) | |
| tree | 0c40e8eea6fe12cab0bd74e5e4f457e13bbf9afd /src/Analysis/Identity.hs | |
| parent | 146a846f799f63cd98eee2149c417686adba17a9 (diff) | |
Commutativity marker on fold1i
Diffstat (limited to 'src/Analysis/Identity.hs')
| -rw-r--r-- | src/Analysis/Identity.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Analysis/Identity.hs b/src/Analysis/Identity.hs index 5e36dde..095d0fa 100644 --- a/src/Analysis/Identity.hs +++ b/src/Analysis/Identity.hs @@ -145,7 +145,7 @@ idana env expr = case expr of res <- VIArr <$> genId <*> shidsToVec dim shids pure (res, EBuild res dim e1' e2') - EFold1Inner _ e1 e2 e3 -> do + EFold1Inner _ cm e1 e2 e3 -> do let t1 = typeOf e1 x1 <- genIds t1 x2 <- genIds t1 @@ -154,7 +154,7 @@ idana env expr = case expr of (v3, e3') <- idana env e3 let VIArr _ (_ :< sh) = v3 res <- VIArr <$> genId <*> pure sh - pure (res, EFold1Inner res e1' e2' e3') + pure (res, EFold1Inner res cm e1' e2' e3') ESum1Inner _ e1 -> do (v1, e1') <- idana env e1 |