Give the index type an exclusive upper-bound, and fix related types accordingly

[matthijs/master-project/cλash.git] / clash / Data / Param / Integer.hs

diff --git a/clash/Data/Param/Integer.hs b/clash/Data/Param/Integer.hs
index b4b1ec8a9a5e89bb40fa2bde5e0f225413a7e1e2..4e48d14dc01d29b8a482d7d051106d098d235370 100644 (file)
--- a/clash/Data/Param/Integer.hs
+++ b/clash/Data/Param/Integer.hs
@@ -10,4 +10,4 @@ newtype (NaturalT nT) => Signed nT = Signed Integer
 
 newtype (NaturalT nT) => Unsigned nT = Unsigned Integer
 
-newtype (NaturalT upper) => Index upper = Index Integer
\ No newline at end of file
+newtype (PositiveT upper) => Index upper = Index Integer
\ No newline at end of file