From 14e902c4a8f5fb35e8188ef763508da26ab5b83f Mon Sep 17 00:00:00 2001 From: Tom Smeding 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/Array') 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