1 files changed, 0 insertions, 14 deletions
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"