aboutsummaryrefslogtreecommitdiff
path: root/src/Data
diff options
context:
space:
mode:
authorTom Smeding <tom@tomsmeding.com>2024-10-10 21:09:44 +0200
committerTom Smeding <tom@tomsmeding.com>2024-10-10 21:09:44 +0200
commit14e902c4a8f5fb35e8188ef763508da26ab5b83f (patch)
treefefaed9756fca7211c9d7c1762176ffba846237e /src/Data
parentccb1e42967ea0e968dc91a9eef5cf597e4b9251f (diff)
Sync Trace.hs fully with Nested.hs; gentrace.sh monstrosity
Diffstat (limited to 'src/Data')
-rw-r--r--src/Data/Array/Nested/Trace.hs4
1 files changed, 3 insertions, 1 deletions
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,