Skip to content

WIP: Re-engineer the PKTI

Simon Peyton Jones requested to merge wip/T17323 into master

This patch, which fixes #17323, re-engineers the Purely Kinded Type Invariant.

It is built on tip of wip/T17395, which is a necessary pre-fix.

I'm putting it up for review.

Edited by Ben Gamari

Merge request reports