-
Notifications
You must be signed in to change notification settings - Fork 3
Open
Description
I'm getting the following error
$ cabal install
[1 of 2] Compiling Text.Regex.TDFA.Text ( Text/Regex/TDFA/Text.hs, dist/build/Text/Regex/TDFA/Text.o )
Text/Regex/TDFA/Text.hs:41:10: error:
Duplicate instance declarations:
instance Extract T.Text -- Defined at Text/Regex/TDFA/Text.hs:41:10
instance [safe] Extract T.Text
-- Defined in ‘Text.Regex.Base.RegexLike’
|
41 | instance Extract T.Text where
| ^^^^^^^^^^^^^^
Failed to install regex-tdfa-text-1.0.0.3
The error is due to regex-base 0.94.0.0 added the instance (see here)
-- | @since 0.94.0.0
instance Extract ST.Text where
before = ST.take; after = ST.drop; empty = ST.empty
Blocking agda/agda#3725.
Metadata
Metadata
Assignees
Labels
No labels