diff options
| author | Tom Smeding <t.j.smeding@uu.nl> | 2024-05-15 13:29:10 +0200 |
|---|---|---|
| committer | Tom Smeding <t.j.smeding@uu.nl> | 2024-05-15 13:30:36 +0200 |
| commit | bd11ee13d58c512f1a9cc0ef06b36c722653ff6f (patch) | |
| tree | a9354a9c1874bd4aea77a217db7981708707d60e /src/Data/Array/Nested.hs | |
| parent | 43ddff2e7f1e9f4d8855f573384e26b63d34f697 (diff) | |
The code compiles with only GHC nats
Diffstat (limited to 'src/Data/Array/Nested.hs')
| -rw-r--r-- | src/Data/Array/Nested.hs | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/Data/Array/Nested.hs b/src/Data/Array/Nested.hs index c7d1819..c12d8ad 100644 --- a/src/Data/Array/Nested.hs +++ b/src/Data/Array/Nested.hs @@ -37,9 +37,6 @@ module Data.Array.Nested ( PrimElt, Primitive(..), - -- * Inductive natural numbers - module Data.INat, - -- * Further utilities / re-exports type (++), Storable, @@ -49,5 +46,4 @@ import Prelude hiding (mappend) import Data.Array.Mixed import Data.Array.Nested.Internal -import Data.INat import Foreign.Storable |