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

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

diff --git a/clash/Data/Param/Vector.hs b/clash/Data/Param/Vector.hs
index 32218be266f4d9f1e85cccfcf164414a31cc229e..6f5b722517b1b3c177f02125675855521eb36692 100644 (file)
--- a/clash/Data/Param/Vector.hs
+++ b/clash/Data/Param/Vector.hs
@@ -109,16 +109,14 @@ fromVector (Vector xs) = xs
 null :: Vector D0 a -> Bool
 null _ = True
 
-(!) ::  ( PositiveT s
-        , NaturalT u
-        , (s :>: u) ~ True) => Vector s a -> Index u -> a
+(!) :: PositiveT s => Vector s a -> Index s -> a
 (Vector xs) ! i = xs !! (fromInteger (toInteger i))
 
 -- ==========================
 -- = Transforming functions =
 -- ==========================
-replace :: (PositiveT s, NaturalT u, (s :>: u) ~ True) =>
-  Vector s a -> Index u -> a -> Vector s a
+replace :: PositiveT s =>
+  Vector s a -> Index s -> a -> Vector s a
 replace (Vector xs) i y = Vector $ replace' xs (toInteger i) y
   where replace' []     _ _ = []
         replace' (_:xs) 0 y = (y:xs)