diff options
| author | Tom Smeding <t.j.smeding@uu.nl> | 2025-01-27 15:08:02 +0100 |
|---|---|---|
| committer | Tom Smeding <t.j.smeding@uu.nl> | 2025-01-27 15:08:02 +0100 |
| commit | 88fae8c2914b805a733b71de58ab672124e6069c (patch) | |
| tree | c155fb1a83ace92aab376202ebc8b4b8a919da7c /src/CHAD/Accum.hs | |
| parent | 0bdc36d221703e5a2347d3d136d676a86bdb1b6a (diff) | |
Add ext field to remaining AST constructors
Diffstat (limited to 'src/CHAD/Accum.hs')
| -rw-r--r-- | src/CHAD/Accum.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/CHAD/Accum.hs b/src/CHAD/Accum.hs index e26f781..659c45f 100644 --- a/src/CHAD/Accum.hs +++ b/src/CHAD/Accum.hs @@ -21,7 +21,7 @@ makeAccumulators :: SList STy envPro -> Ex (Append (D2AcE envPro) env) t -> Ex e makeAccumulators SNil e = e makeAccumulators (t `SCons` envpro) e = makeAccumulators envpro $ - EWith (EZero t) e + EWith ext (EZero ext t) e uninvertTup :: SList STy list -> STy core -> Ex env (InvTup core list) -> Ex env (TPair core (Tup list)) uninvertTup SNil _ e = EPair ext e (ENil ext) |