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/AST/Types.hs | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'src/AST')

diff --git a/src/AST/Types.hs b/src/AST/Types.hs
index adcc760..acf7053 100644
--- a/src/AST/Types.hs
+++ b/src/AST/Types.hs
@@ -107,3 +107,13 @@ type family ScalIsIntegral t where
   ScalIsIntegral TF32 = False
   ScalIsIntegral TF64 = False
   ScalIsIntegral TBool = False
+
+-- | Returns true for arrays /and/ accumulators;
+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{} = True
-- 
cgit v1.2.3-70-g09d2