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/Top.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/CHAD/Top.hs') 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