From db163c981f796264e17019537a1ab2a5ae3573e1 Mon Sep 17 00:00:00 2001 From: Mikolaj Konarski Date: Thu, 2 Apr 2026 12:08:26 +0200 Subject: Fix typos/thinkos --- src/Data/Array/Nested/Convert.hs | 2 +- src/Data/Array/Nested/Mixed/Shape.hs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Data/Array/Nested/Convert.hs b/src/Data/Array/Nested/Convert.hs index 313e9de..d6bdc6a 100644 --- a/src/Data/Array/Nested/Convert.hs +++ b/src/Data/Array/Nested/Convert.hs @@ -58,7 +58,7 @@ import Data.Array.Nested.Types -- * To ranked -- TODO: change all those unsafeCoerces into coerces by defining shaped --- and ranekd index types as newtypes of the mixed index type +-- and ranked index types as newtypes of the mixed index type -- and similarly for the sized lists or, preferably, by defining -- all as newtypes over [], exploiting fusion and getting free toList. ixrFromIxS :: IxS sh i -> IxR (Rank sh) i diff --git a/src/Data/Array/Nested/Mixed/Shape.hs b/src/Data/Array/Nested/Mixed/Shape.hs index b0276c9..f8b19c2 100644 --- a/src/Data/Array/Nested/Mixed/Shape.hs +++ b/src/Data/Array/Nested/Mixed/Shape.hs @@ -53,7 +53,7 @@ type family Rank sh where Rank (_ : sh) = Rank sh + 1 --- * Mixed lists to be used IxX and shaped and ranked lists and indexes +-- * Mixed lists type role ListX nominal representational type ListX :: [Maybe Nat] -> Type -> Type -- cgit v1.3