From 88fae8c2914b805a733b71de58ab672124e6069c Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Mon, 27 Jan 2025 15:08:02 +0100 Subject: Add ext field to remaining AST constructors --- src/CHAD/Accum.hs | 2 +- src/CHAD/Top.hs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'src/CHAD') 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) diff --git a/src/CHAD/Top.hs b/src/CHAD/Top.hs index 12594f2..d058132 100644 --- a/src/CHAD/Top.hs +++ b/src/CHAD/Top.hs @@ -69,7 +69,7 @@ reassembleD2E (des `DPush` (_, SMerge)) e = EPair ext (reassembleD2E des (EPair ext (EFst ext (EVar ext (typeOf e) IZ)) (EFst ext (ESnd ext (EVar ext (typeOf e) IZ))))) (ESnd ext (ESnd ext (EVar ext (typeOf e) IZ))) -reassembleD2E (des `DPush` (t, SDiscr)) e = EPair ext (reassembleD2E des e) (EZero t) +reassembleD2E (des `DPush` (t, SDiscr)) e = EPair ext (reassembleD2E des e) (EZero ext t) chad :: CHADConfig -> SList STy env -> Ex env t -> Ex (D2 t : D1E env) (TPair (D1 t) (Tup (D2E env))) chad config env (term :: Ex env t) -- cgit v1.2.3-70-g09d2