77b61ca7 · Only flatten up to type family arity in coreFlattenTyFamApp (#16995) · Oct 06, 2019

ac961df7 · Merge TcTypeableValidity into TcTypeable, document treatment of casts · Oct 02, 2019

4359bbbc · Make -fbyte-code prevent unboxed tuples/sums from implying object code (#16876) · Sep 24, 2019

7522273b · Fix #17067 by making data family type constructors actually injective · Aug 17, 2019

0c23f68b · Simplify: Lazy pattern match · Aug 03, 2019

bf979eb4 · Use injectiveVarsOfType to catch dodgy type family instance binders (#17008) · Aug 01, 2019

6b3b0457 · Rip out 9-year-old pattern variable hack (#17007) · Jul 30, 2019

ef07c431 · Apply a missing substitution in mkEtaWW (#16979) · Jul 29, 2019

5fe8a408 · WIP: fix 13154 · Jul 26, 2019

055bfefd · Banish reportFloatingViaTvs to the shadow realm (#15831, #16181) · Jul 25, 2019

f67eb546 · Don't maintainer-clean libraries/ghc-boot/ghc.mk (#16953) · Jul 18, 2019

6a03d77b · Use an empty data type in TTG extension constructors (#15247) · Jul 09, 2019

f3aae741 · Don't typecheck too much (or too little) in DerivingVia (#16923) · Jul 08, 2019