diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-03-05 21:30:12 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-03-05 21:30:12 +0100 |
| commit | bb88a7dfdb377c77264801db01d72f2e8b245199 (patch) | |
| tree | debb1bff3ffcd2970c168e8fd22f5a1e3b5651b9 /src/CHAD | |
| parent | 76f047376405d97b113573db8b6997088e9b9383 (diff) | |
Compile: Implement EWith (TODO EAccum)
That's going to be a mess
Diffstat (limited to 'src/CHAD')
| -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 = |