Skip to content

Commit 6c4d0d0

Browse files
Remove unused type Copilot.Core.Expr.Tag. Refs #304.
The type Copilot.Core.Expr.Tag was deprecated in Copilot 3.6 because it was not used and therefore did not belong in the program (see #260). As per our internal policy of waiting 3 versions from deprecation until a public interface declaration can be removed, this type can now be removed completely. The following demonstrates that the type is unused within Copilot: ``` $ grep -nHre '\<Tag\>' --include='*.hs' | grep -ve '^{-#' | grep -ve '--.*Tag' | grep -ve '"[^"]*Tag[^"]*"' copilot-core/src/Copilot/Core/Expr.hs:15: , Tag copilot-core/src/Copilot/Core/Expr.hs:43:type Tag = Int ``` Only the declaration in the module Copilot.Core.Expr is shown. This commit removes the declaration. Using the method above shows no results.
1 parent 8202bac commit 6c4d0d0

File tree

1 file changed

+0
-7
lines changed
  • copilot-core/src/Copilot/Core

1 file changed

+0
-7
lines changed

copilot-core/src/Copilot/Core/Expr.hs

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,6 @@ module Copilot.Core.Expr
1212
, Expr (..)
1313
, UExpr (..)
1414
, DropIdx
15-
, Tag
1615
) where
1716

1817
import Copilot.Core.Operators (Op1, Op2, Op3)
@@ -38,12 +37,6 @@ type DropIdx = Word32
3837

3938
--------------------------------------------------------------------------------
4039

41-
-- | A unique tag for external arrays/function calls.
42-
{-# DEPRECATED Tag "The type Tag is deprecated in Copilot 3.6." #-}
43-
type Tag = Int
44-
45-
--------------------------------------------------------------------------------
46-
4740
-- | Internal representation of Copilot stream expressions.
4841
--
4942
-- The Core representation mimics the high-level Copilot stream, but the Core

0 commit comments

Comments
 (0)