diff options
Diffstat (limited to 'src/CHAD/Accum.hs')
| -rw-r--r-- | src/CHAD/Accum.hs | 9 |
1 files changed, 0 insertions, 9 deletions
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 = |