From ac13ffebefb22ec45e29e7f4bb6d53fa46cf6475 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Mon, 25 May 2026 13:08:07 +0100
Subject: Up 'some' to 1.1

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

(limited to 'src/CHAD/AST/Weaken.hs')

diff --git a/src/CHAD/AST/Weaken.hs b/src/CHAD/AST/Weaken.hs
index ac0d152..f5345d1 100644
--- a/src/CHAD/AST/Weaken.hs
+++ b/src/CHAD/AST/Weaken.hs
@@ -37,6 +37,9 @@ instance GEq (Idx env) where
   geq (IS i) (IS j) | Just Refl <- geq i j = Just Refl
   geq _ _ = Nothing
 
+instance Eq (Idx env t) where _ == _ = True
+instance EqP (Idx env) where eqp = eqpFromGEq
+
 splitIdx :: forall env2 env1 t f. SList f env1 -> Idx (Append env1 env2) t -> Either (Idx env1 t) (Idx env2 t)
 splitIdx SNil i = Right i
 splitIdx (SCons _ _) IZ = Left IZ
-- 
cgit v1.3.1