From 14e902c4a8f5fb35e8188ef763508da26ab5b83f Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Thu, 10 Oct 2024 21:09:44 +0200
Subject: Sync Trace.hs fully with Nested.hs; gentrace.sh monstrosity

---
 src/Data/Array/Nested/Trace.hs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/Data')

diff --git a/src/Data/Array/Nested/Trace.hs b/src/Data/Array/Nested/Trace.hs
index aeb6edd..838e2b0 100644
--- a/src/Data/Array/Nested/Trace.hs
+++ b/src/Data/Array/Nested/Trace.hs
@@ -38,7 +38,9 @@ module Data.Array.Nested.Trace (
 
   Mixed,
   IxX(..), IIxX,
-  KnownShX(..), StaticShX(..),
+  ShX(..), KnownShX(..),
+  StaticShX(..),
+  SMayNat(..),
 
   Elt,
   PrimElt,
-- 
cgit v1.2.3-70-g09d2