copilot-language: Remove deprecated function Copilot.Language.Operators.Array.(.!!). Refs #599.

The function `copilot-language:Copilot.Language.Operators.Array.(.!!)` was
deprecated due to the introduction of a new, common interface to interact with
structures and arrays. The original function was deprecated in Copilot 4 and no
messages have been received requesting that it be kept in this library. Per
our internal policy of waiting 3 versions from deprecation until a public
interface declaration can be removed, this function can now be removed.

This commit removes the function
`copilot-language:Copilot.Language.Operators.Array.(.!!)`.

Author: ivanperez-keera

copilot-language/src/Copilot/Language/Operators/Array.hs

@@ -8,8 +8,7 @@
 
 -- | Combinators to deal with streams carrying arrays.
 module Copilot.Language.Operators.Array
-  ( (.!!)
-  , (!)
+  ( (!)
   , (!!)
   , (=:)
   , (=$)
@@ -34,18 +33,6 @@ import Prelude      hiding ((!!))
     => Stream (Array n t) -> Stream Word32 -> Stream t
 arr ! n = Op2 (Index typeOf) arr n
 
--- | Create a stream that carries an element of an array in another stream.
---
--- This function implements a projection of the element of an array at a given
--- position, over time. For example, if @s@ is a stream of type @Stream (Array
--- '5 Word8)@, then @s .!! 3@ has type @Stream Word8@ and contains the 3rd
--- element (starting from zero) of the arrays in @s@ at any point in time.
-{-# DEPRECATED (.!!) "This function is deprecated in Copilot 4. Use (!)." #-}
-(.!!) :: ( KnownNat n
-         , Typed t
-         ) => Stream (Array n t) -> Stream Word32 -> Stream t
-(.!!) = (!)
-
 -- | Pair a stream with an element accessor, without applying it to obtain the
 -- value of the element.
 --