diff options
Diffstat (limited to 'src/Data/Array/Nested/Convert.hs')
| -rw-r--r-- | src/Data/Array/Nested/Convert.hs | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/src/Data/Array/Nested/Convert.hs b/src/Data/Array/Nested/Convert.hs index d6bdc6a..155a1a7 100644 --- a/src/Data/Array/Nested/Convert.hs +++ b/src/Data/Array/Nested/Convert.hs @@ -57,10 +57,7 @@ import Data.Array.Nested.Types -- * To ranked --- TODO: change all those unsafeCoerces into coerces by defining shaped --- 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. +-- This unsafeCoerce, exceptionally, can't be eliminated using newtype coercions. ixrFromIxS :: IxS sh i -> IxR (Rank sh) i ixrFromIxS = unsafeCoerce @@ -83,8 +80,9 @@ shrFromShX = coerce -- * To shaped +-- This unsafeCoerce, exceptionally, can't be eliminated using newtype coercions. ixsFromIxR :: IxR (Rank sh) i -> IxS sh i -ixsFromIxR = unsafeCoerce -- TODO: switch to coerce once newtypes overhauled +ixsFromIxR = unsafeCoerce -- ixsFromIxX re-exported |