1. 15 Jun, 2020 1 commit
    • Simon Peyton Jones's avatar
      Improve handling of data type return kinds · 59e0f754
      Simon Peyton Jones authored
      Following a long conversation with Richard, this patch tidies up the
      handling of return kinds for data/newtype declarations (vanilla,
      family, and instance).
      
      I have substantially edited the Notes in TyCl, so they would
      bear careful reading.
      
      Fixes #18300.
      
      In GHC.Tc.Instance.Family.newFamInst we were checking some
      Lint-like properties with ASSSERT.  Instead I've added
      Lint.lintAxiom, and called it from newFamInst.
      
      The one new test, T18300, causes an ASSERT failure in HEAD.
      59e0f754
  2. 14 Jun, 2020 7 commits
  3. 13 Jun, 2020 32 commits