Skip to content
Snippets Groups Projects
  1. Sep 19, 2023
  2. Sep 18, 2023
  3. Sep 16, 2023
  4. Sep 15, 2023
  5. Sep 14, 2023
  6. Sep 13, 2023
  7. Sep 12, 2023
  8. Sep 09, 2023
  9. Sep 08, 2023
  10. Sep 07, 2023
    • Krzysztof Gogolewski's avatar
      Fix wrong role in mkSelCo_maybe · e0aa8c6e
      Krzysztof Gogolewski authored and Marge Bot's avatar Marge Bot committed
      In the Lint failure in #23938, we start with a coercion Refl :: T a ~R T a,
      and call mkSelCo (SelTyCon 1 nominal) Refl.
      The function incorrectly returned Refl :: a ~R a. The returned role
      should be nominal, according to the SelCo rule:
      
            co : (T s1..sn) ~r0 (T t1..tn)
            r = tyConRole tc r0 i
            ----------------------------------
            SelCo (SelTyCon i r) : si ~r ti
      
      In this test case, r is nominal while r0 is representational.
      e0aa8c6e
    • Finley McIlwaine's avatar
      Bump haddock submodule to fix #23920 · 8046f020
      Finley McIlwaine authored and Marge Bot's avatar Marge Bot committed
      Removes the fake export of `FUN` from Prelude. Fixes #23920.
      
      Bumps haddock submodule.
      8046f020
    • Alan Zimmerman's avatar
      EPA: Incorrect locations for UserTyVar with '@' · b34f8586
      Alan Zimmerman authored and Marge Bot's avatar Marge Bot committed
      In T13343.hs, the location for the @ is not within the span of the
      surrounding UserTyVar.
      
        type Bad @v = (forall (v1 :: RuntimeRep) (a1 :: TYPE v). a1) :: TYPE v
      
      Widen it so it is captured.
      
      Closes #23887
      b34f8586
Loading