chad-fast/src/AST, branch test-catch-excAn implementation of CHAD, towards performance
https://git.tomsmeding.com/chad-fast/atom?h=test-catch-exc2025-03-14T22:29:51ZMuch process with accumulator revamp2025-03-14T22:29:51ZTom Smedingtom@tomsmeding.com2025-03-14T22:29:51Zurn:sha1:fff6beda3523abce3d27037ea2fb020fce31f502WIP revamp accumulator projection type repr2025-03-14T14:37:29ZTom Smedingt.j.smeding@uu.nl2025-03-07T14:11:59Zurn:sha1:137eaa13144c2599ac29da9ebd3af24ac1ce8968
I stopped working on this because I realised that having sparse products
(and coproducts, prehaps) everywhere is a very bad idea in general, and
that we need to fix that first before really being able to do anything
else productive with performance.
Clean up code organisation a little2025-03-09T21:08:17ZTom Smedingt.j.smeding@uu.nl2025-03-09T21:08:17Zurn:sha1:c3b4f56760547940256afea8e692681dbbe21857pretty: Print x value for (!)2025-03-07T16:24:24ZTom Smedingt.j.smeding@uu.nl2025-03-07T16:24:24Zurn:sha1:3a738bd9c519fe890c03948eba1e1033b93a811apprintExpr2025-03-07T16:19:48ZTom Smedingt.j.smeding@uu.nl2025-03-07T16:19:48Zurn:sha1:d588b0a245bb162ea60165eb2e42ef44e9b540bcCompile: Implement EWith (TODO EAccum)2025-03-05T20:30:12ZTom Smedingtom@tomsmeding.com2025-03-05T20:30:12Zurn:sha1:bb88a7dfdb377c77264801db01d72f2e8b245199
That's going to be a mess
Fix ppParen in pretty of EWith2025-03-04T22:18:55ZTom Smedingtom@tomsmeding.com2025-03-04T22:18:42Zurn:sha1:138d1a5488638431595028bfec645008a5d5e0bbFix some pretty-printing2025-03-01T09:15:20ZTom Smedingtom@tomsmeding.com2025-03-01T09:15:20Zurn:sha1:efae6885dae62d0525e1eb238967dc817c4df22dUnMonoid: Properly recurse2025-02-25T22:56:46ZTom Smedingtom@tomsmeding.com2025-02-25T22:56:46Zurn:sha1:6a5055b7747424b8a05ad70354e68e42d680109aPretty: Allow colouring exts (currently not)2025-02-25T22:56:33ZTom Smedingtom@tomsmeding.com2025-02-25T22:56:33Zurn:sha1:ef95be4403d09ebecbaef80e668d52fc5ecd9b46