Add stern warning for fromListN

Author: Shimuuar

vector/src/Data/Vector/Generic.hs

@@ -2297,7 +2297,11 @@ fromList :: Vector v a => [a] -> v a
 {-# INLINE fromList #-}
 fromList = unstream . Bundle.fromList
 
--- | /O(n)/ Convert the first @n@ elements of a list to a vector.
+-- | /O(n)/ Convert the first @n@ elements of a list to a vector. It's
+-- expected that supplied list will be exactly @n@ elements long. As
+-- optimization this function allocates buffer for @n@ elements and
+-- could be used to DoS by exhausting memory if attacker controls that
+-- parameter.
 --
 -- @
 -- fromListN n xs = 'fromList' ('take' n xs)

vector/src/Data/Vector/Primitive.hs

@@ -1786,7 +1786,11 @@ fromList :: Prim a => [a] -> Vector a
 {-# INLINE fromList #-}
 fromList = G.fromList
 
--- | /O(n)/ Convert the first @n@ elements of a list to a vector.
+-- | /O(n)/ Convert the first @n@ elements of a list to a vector. It's
+-- expected that supplied list will be exactly @n@ elements long. As
+-- optimization this function allocates buffer for @n@ elements and
+-- could be used to DoS by exhausting memory if attacker controls that
+-- parameter.
 --
 -- @
 -- fromListN n xs = 'fromList' ('take' n xs)

vector/src/Data/Vector/Storable.hs

@@ -1832,7 +1832,11 @@ fromList :: Storable a => [a] -> Vector a
 {-# INLINE fromList #-}
 fromList = G.fromList
 
--- | /O(n)/ Convert the first @n@ elements of a list to a vector.
+-- | /O(n)/ Convert the first @n@ elements of a list to a vector. It's
+-- expected that supplied list will be exactly @n@ elements long. As
+-- optimization this function allocates buffer for @n@ elements and
+-- could be used to DoS by exhausting memory if attacker controls that
+-- parameter.
 --
 -- @
 -- fromListN n xs = 'fromList' ('take' n xs)

vector/src/Data/Vector/Unboxed.hs

@@ -1878,7 +1878,11 @@ fromList :: Unbox a => [a] -> Vector a
 {-# INLINE fromList #-}
 fromList = G.fromList
 
--- | /O(n)/ Convert the first @n@ elements of a list to a vector.
+-- | /O(n)/ Convert the first @n@ elements of a list to a vector. It's
+-- expected that supplied list will be exactly @n@ elements long. As
+-- optimization this function allocates buffer for @n@ elements and
+-- could be used to DoS by exhausting memory if attacker controls that
+-- parameter.
 --
 -- @
 -- fromListN n xs = 'fromList' ('take' n xs)