From 62796be35e6e768147aab70ba0beeb94c058c714 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Sun, 8 Feb 2026 15:43:02 +0100
Subject: WIP (continue in UnMonoid)

---
 src/CHAD/Drev/Types.hs | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/CHAD/Drev')

diff --git a/src/CHAD/Drev/Types.hs b/src/CHAD/Drev/Types.hs
index 367a974..f23aeba 100644
--- a/src/CHAD/Drev/Types.hs
+++ b/src/CHAD/Drev/Types.hs
@@ -55,6 +55,7 @@ d1 (STMaybe t) = STMaybe (d1 t)
 d1 (STArr n t) = STArr n (d1 t)
 d1 (STScal t) = STScal t
 d1 STAccum{} = error "Accumulators not allowed in input program"
+d1 STIdxPair{} = error "Index pairs not allowed in input program"
 
 d1e :: SList STy env -> SList STy (D1E env)
 d1e SNil = SNil
@@ -74,6 +75,7 @@ d2M (STScal t) = case t of
   STF64 -> SMTScal STF64
   STBool -> SMTNil
 d2M STAccum{} = error "Accumulators not allowed in input program"
+d2M STIdxPair{} = error "Index pairs not allowed in input program"
 
 d2 :: STy t -> STy (D2 t)
 d2 = fromSMTy . d2M
@@ -147,6 +149,7 @@ d1Identity = \case
   STArr _ t | Refl <- d1Identity t -> Refl
   STScal _ -> Refl
   STAccum{} -> error "Accumulators not allowed in input program"
+  STIdxPair{} -> error "Index pairs not allowed in input program"
 
 d1eIdentity :: SList STy env -> D1E env :~: env
 d1eIdentity SNil = Refl
-- 
cgit v1.2.3-70-g09d2