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