From 947ea218c54cd12f64320f6207fc8da83f7a8c43 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Wed, 8 Oct 2025 21:42:05 +0200 Subject: Complete occCountX --- src/CHAD/Top.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/CHAD') 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' -- cgit v1.2.3-70-g09d2