From bb88a7dfdb377c77264801db01d72f2e8b245199 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Wed, 5 Mar 2025 21:30:12 +0100
Subject: Compile: Implement EWith (TODO EAccum)

That's going to be a mess
---
 src/CHAD/Accum.hs | 9 ---------
 1 file changed, 9 deletions(-)

(limited to 'src/CHAD/Accum.hs')

diff --git a/src/CHAD/Accum.hs b/src/CHAD/Accum.hs
index 659c45f..14a1d3b 100644
--- a/src/CHAD/Accum.hs
+++ b/src/CHAD/Accum.hs
@@ -8,15 +8,6 @@ import Data
 
 
 
-hasArrays :: STy t' -> Bool
-hasArrays STNil = False
-hasArrays (STPair a b) = hasArrays a || hasArrays b
-hasArrays (STEither a b) = hasArrays a || hasArrays b
-hasArrays (STMaybe t) = hasArrays t
-hasArrays STArr{} = True
-hasArrays STScal{} = False
-hasArrays STAccum{} = error "Accumulators not allowed in source program"
-
 makeAccumulators :: SList STy envPro -> Ex (Append (D2AcE envPro) env) t -> Ex env (InvTup t (D2E envPro))
 makeAccumulators SNil e = e
 makeAccumulators (t `SCons` envpro) e =
-- 
cgit v1.2.3-70-g09d2