-
Notifications
You must be signed in to change notification settings - Fork 3
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Compilation error using regex-base 0.94.0.0 #2
Comments
asr
added a commit
to asr/regex-tdfa-text
that referenced
this issue
Sep 28, 2019
…0.94.0.0. Also added lower bound (0.94.0.0) for regex-base.
asr
added a commit
to agda/agda
that referenced
this issue
Sep 29, 2019
The error is due to the incompatibility between regex-base 0.94.0.0 and regex-tdfa-text (see hackage-trustees/regex-tdfa-text#2).
for the record: respective revisions were applied already (see e.g. http://hackage.haskell.org/package/regex-tdfa-text-1.0.0.3/revisions/) so cabal's solver shouldn't run into a plan that results in this compile failure anymore |
fros1y
added a commit
to fros1y/regex-tdfa-text
that referenced
this issue
Oct 1, 2020
[ fixed hackage-trustees#2 ] Removed instances defined by regex-base 0.94.0.0.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
I'm getting the following error
The error is due to regex-base 0.94.0.0 added the instance (see here)
Blocking agda/agda#3725.
The text was updated successfully, but these errors were encountered: