copilot-language: Remove deprecated function Copilot.Language.Spec.forall. Refs #518.

The function Copilot.Language.Spec.forall not being used by any other
part of Copilot. It was replaced by a function with a different name due
to the lowercase name not being allowed in newer versions of GHC. The
original function was deprecated in Copilot 3.18. As 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.Spec.forall from
copilot-language (both in the module that defines it and in a module
that re-exports it).

Author: ivanperez-keera

copilot-language/src/Copilot/Language.hs

@@ -38,7 +38,7 @@ module Copilot.Language
   , prop
   , theorem
   , forAll
-  , forall, exists
+  , exists
   ) where
 
 import Data.Int hiding (Int)

copilot-language/src/Copilot/Language/Spec.hs

@@ -28,7 +28,7 @@ module Copilot.Language.Spec
   , prop, properties
   , theorem, theorems
   , forAll
-  , forall, exists
+  , exists
   , extractProp
   , Universal, Existential
   ) where
@@ -165,11 +165,6 @@ data Prop a where
 forAll :: Stream Bool -> Prop Universal
 forAll = Forall
 
-{-# DEPRECATED forall "Use forAll instead." #-}
--- | Universal quantification of boolean streams over time.
-forall :: Stream Bool -> Prop Universal
-forall = forAll
-
 -- | Existential quantification of boolean streams over time.
 exists :: Stream Bool -> Prop Existential
 exists = Exists