From 9841b43701bc5f6b1682285759994bac0a03c93c Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Mon, 24 Nov 2025 23:05:49 +0100 Subject: Update doc comment in Trace --- src/Data/Array/Nested/Trace/TH.hs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'src/Data/Array/Nested/Trace/TH.hs') diff --git a/src/Data/Array/Nested/Trace/TH.hs b/src/Data/Array/Nested/Trace/TH.hs index 6fded46..644b4bd 100644 --- a/src/Data/Array/Nested/Trace/TH.hs +++ b/src/Data/Array/Nested/Trace/TH.hs @@ -37,8 +37,11 @@ recognise (ConT name `AppT` sht `AppT` ty) | name == ''Mixed = Just (RMixed sht (recogniseElt ty)) | name == ''Conversion = Just (RShowable ty) recognise ty@(ConT name `AppT` _) - | name `elem` [''IShR, ''IIxR, ''ShS, ''IIxS, ''SNat] = + | name `elem` [''IShR, ''IIxR, ''ShS, ''IIxS, ''SNat, ''Perm] = Just (RShowable ty) +recognise ty@(ConT name) + | name == ''PermR = Just (RShowable ty) +recognise (ListT `AppT` ty) = Just (ROther ty) recognise _ = Nothing recogniseElt :: Type -> Arg -- cgit v1.2.3-70-g09d2