Skip to content
Snippets Groups Projects
  1. Jul 18, 2024
  2. Jul 08, 2024
  3. Jul 04, 2024
  4. Jul 03, 2024
  5. Jun 18, 2024
  6. Jun 16, 2024
  7. Jun 15, 2024
  8. Jun 14, 2024
  9. Jun 03, 2024
  10. May 17, 2024
    • Ryan Scott's avatar
      Update ghcide-2.6.0.0 patch · ebc8a498
      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.
      ebc8a498
    • Ryan Scott's avatar
      Update liquidhaskell-boot-0.9.8.1 patch · 921fa269
      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.
      921fa269
  11. May 16, 2024
  12. May 07, 2024
  13. May 04, 2024
  14. Apr 30, 2024
  15. Apr 29, 2024
  16. Apr 22, 2024
  17. Apr 20, 2024
  18. Apr 09, 2024
  19. Apr 08, 2024
  20. Mar 21, 2024
  21. Mar 20, 2024
Loading