From ae2b1b71a91d60d3bd1dfb21fce98c05c1a4fcbb Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Tue, 26 Nov 2024 15:25:13 +0100
Subject: WIP accum top-level args

---
 src/CHAD/Heuristics.hs | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100644 src/CHAD/Heuristics.hs

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

diff --git a/src/CHAD/Heuristics.hs b/src/CHAD/Heuristics.hs
deleted file mode 100644
index 6ab8222..0000000
--- a/src/CHAD/Heuristics.hs
+++ /dev/null
@@ -1,14 +0,0 @@
-{-# LANGUAGE GADTs #-}
-module CHAD.Heuristics where
-
-import AST
-
-
-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"
-- 
cgit v1.2.3-70-g09d2