diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-11-26 15:25:13 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-11-26 15:25:13 +0100 |
| commit | ae2b1b71a91d60d3bd1dfb21fce98c05c1a4fcbb (patch) | |
| tree | 1f6afda4b1d6925fe8224ee4f2ca40212fe11aa6 /src/CHAD/Heuristics.hs | |
| parent | 7774da51c532006da82617ce307d136897693280 (diff) | |
WIP accum top-level args
Diffstat (limited to 'src/CHAD/Heuristics.hs')
| -rw-r--r-- | src/CHAD/Heuristics.hs | 14 |
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" |