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/Top.hs | |
| parent | 0bdc36d221703e5a2347d3d136d676a86bdb1b6a (diff) | |
Add ext field to remaining AST constructors
Diffstat (limited to 'src/CHAD/Top.hs')
| -rw-r--r-- | src/CHAD/Top.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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) |