From 20f7d7be13cd7869b338f98d1ab3fd33e8bbfb3e Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Thu, 27 Nov 2025 21:30:17 +0100
Subject: WIP user-specified custom types

The big roadblock encountered is that accumulation wants addition of
monoids to be elementwise float addition; this fundamentally clashes
with the concept of a user type with a custom zero and plus.
---
 chad-fast.cabal | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'chad-fast.cabal')

diff --git a/chad-fast.cabal b/chad-fast.cabal
index 1eef3ed..5d800bc 100644
--- a/chad-fast.cabal
+++ b/chad-fast.cabal
@@ -26,7 +26,9 @@ library
     CHAD.AST.Sparse.Types
     CHAD.AST.SplitLets
     CHAD.AST.Types
+    CHAD.AST.Types.Ty
     CHAD.AST.UnMonoid
+    CHAD.AST.UnUser
     CHAD.AST.Weaken
     CHAD.AST.Weaken.Auto
     CHAD.Compile
-- 
cgit v1.2.3-70-g09d2