- Jul 18, 2024
-
-
Matthew Pickering authored
-
- Jul 08, 2024
-
-
Matthew Pickering authored
-
- Jul 04, 2024
-
-
Ryan Scott authored
ghcide-2.9.0.0: Adapt to 1bab7dde7e3600f24476cbb2a5b43864ccde1faa and 24e89c40b7725123f03b98c7d934acc6256ff086
-
- Jul 03, 2024
- Jun 18, 2024
-
-
Sebastian Graf authored
-
- Jun 16, 2024
-
-
Sebastian Graf authored
-
- Jun 15, 2024
-
-
Sebastian Graf authored
Fixes #106.
-
- Jun 14, 2024
-
-
Sebastian Graf authored
This goes in tandem with ghc!12858.
-
- Jun 03, 2024
-
-
-
Sebastian Graf authored
-
Sebastian Graf authored
-
- May 17, 2024
-
-
Ryan Scott authored
This updates the patch to accommodate the following GHC commits: * ghc/ghc@c5d89412 This removes the `mi_globals` field in favor of `mi_top_env`. * ghc/ghc@36aa7cf1 This adds an additional `CompressionIFace` argument to the `writeIface` and `putWithUserData` functions.
-
Ryan Scott authored
This updates the patch to accommodate the following GHC commits: * ghc/ghc@c5d89412 This removes the `mi_globals` field (in favor of `mi_top_env`) and the `modInfoTopLevelScope` function. `liquidhaskell-boot` re-exports `mi_globals` but does not actually use it, so we can remove the re-export safely. It is not yet clear to me how to port over the code that uses the `modInfoTopLevelScope` function, however. Thankfully, this code is for debugging only (it is not used by the test suite), so we can put this off for now. * ghc/ghc@b2227487 This commit adds an `Eq` instance for `VarBndr`, so guard the orphan `Eq` instance for `VarBndr` in `liquidhaskell-boot` behind CPP.
-
- May 16, 2024
-
-
This adapts text-show to be able to build with the `IoManagerFlag`-related changes introduced in ghc/ghc@1350e746 . Co-authored-by:
Ryan Scott <ryan.gl.scott@gmail.com>
-
Ryan Scott authored
-
- May 07, 2024
-
-
Ryan Scott authored
`futhark` now compiles after the changes in !12576.
-
- May 04, 2024
-
-
-
Ryan Scott authored
See #104 for more discussion on this.
-
Ryan Scott authored
-
-
Ryan Scott authored
-
Ryan Scott authored
-
- Apr 30, 2024
-
-
Mikolaj Konarski authored
-
- Apr 29, 2024
-
-
Ben Gamari authored
Principally by eliminate hard-coding of Names in the plugins, instead using TemplateHaskell to quote the names.
-
- Apr 22, 2024
-
-
Ryan Scott authored
This is needed to make `ghcide-2.6.0.0` build after the changes in ghc@83eb10da.
-
Ryan Scott authored
These patches only bump version bounds (which `head.hackage`'s CI already does) and were mistakenly left over after !361.
-
- Apr 20, 2024
-
-
Ryan Scott authored
This updates the patch to take the following GHC HEAD changes into account: * ghc/ghc@e008a19a, which changes the return type of `loadDLL` * ghc/ghc@a933aff3, which removes the last two arguments of `checkHomeUnitsClosed`
-
- Apr 09, 2024
-
-
Teo Camarasu authored
-
Teo Camarasu authored
No longer needed as the version on hackage has the change Resolves #100
-
- Apr 08, 2024
-
-
Andrei Borzenkov authored
Duplicate tyvar check was improved in GHC and now it rejectes one declaration in `singletons` library. This patch fixes this declaration by removing type variable duplication.
-
Andrei Borzenkov authored
This patch fixes compilation errors occured after this change
-
See #24638
-
- Mar 21, 2024
-
-
Neil Mayhew authored
It's been superseded by upstream changes
-
- Mar 20, 2024
-
-
Teo Camarasu authored
In the past this could be triggered when trying to merge from a fork's master branch.
-
Teo Camarasu authored
The cabal file was broken for ghc >9.10 by conditionals
-