Does not build with transformers-0.6.* (GHC 9.6)
#44
Comments
|
I've submitted #45 with a fix. |
RyanGlScott
added a commit
to GaloisInc/saw-script
that referenced
this issue
Nov 20, 2023
Unfortunately, the upstream `language-rust` repo at https://github.com/harpocrates/language-rust no longer appears to be actively maintained, and without a fix for harpocrates/language-rust#44, it is impossible to build `language-rust` with GHC 9.6. This patch changes our `language-rust` submodule to instead use our fork of `language-rust` (at https://github.com/GaloisInc/language-rust). It is unclear if we will have to keep doing this in the long term, but this at least unblocks us in the short term.
RyanGlScott
added a commit
to GaloisInc/saw-script
that referenced
this issue
Nov 20, 2023
Unfortunately, the upstream `language-rust` repo at https://github.com/harpocrates/language-rust no longer appears to be actively maintained, and without a fix for harpocrates/language-rust#44, it is impossible to build `language-rust` with GHC 9.6. This patch changes our `language-rust` submodule to instead use our fork of `language-rust` (at https://github.com/GaloisInc/language-rust). It is unclear if we will have to keep doing this in the long term, but this at least unblocks us in the short term.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Currently,
language-rustimposes upper version bounds of<0.6ontransformers:language-rust/language-rust.cabal
Line 89 in 9d509c4
This prevents it from building with
transformers-0.6.*. As this is the version oftransformersthat is bundled with GHC 9.6, this makes it difficult to buildlanguage-rustwith GHC 9.6.The text was updated successfully, but these errors were encountered: