diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-10-08 21:42:05 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-10-08 21:42:05 +0200 |
| commit | 947ea218c54cd12f64320f6207fc8da83f7a8c43 (patch) | |
| tree | 8e0c11b69673345e66b092bd792ee3a0b4f101aa /src/CHAD | |
| parent | 63f6e894fea21813104337b1c6a2507f59337090 (diff) | |
Complete occCountX
Diffstat (limited to 'src/CHAD')
| -rw-r--r-- | src/CHAD/Top.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/CHAD/Top.hs b/src/CHAD/Top.hs index 484779e..4814bdf 100644 --- a/src/CHAD/Top.hs +++ b/src/CHAD/Top.hs @@ -43,8 +43,8 @@ mergeEnvOnlyMerge (_ `SCons` env) | Refl <- mergeEnvOnlyMerge env = Refl accumDescr :: SList STy env -> (forall sto. Descr env sto -> r) -> r accumDescr SNil k = k DTop accumDescr (t `SCons` env) k = accumDescr env $ \des -> - if hasArrays t then k (des `DPush` (t, Nothing, SAccum)) - else k (des `DPush` (t, Nothing, SMerge)) + if typeHasArrays t then k (des `DPush` (t, Nothing, SAccum)) + else k (des `DPush` (t, Nothing, SMerge)) reassembleD2E :: Descr env sto -> D1E env :> env' |