ghc-tcplugin-api icon indicating copy to clipboard operation
ghc-tcplugin-api copied to clipboard
verified publisher icon sheaf

Export a function to deal with flattening variables in a compatible way

Open sheaf opened this issue 3 years ago • 0 comments

On GHC 9.0 and below we need to be able to handle flattening variables. classifyPredType gets us most of the way, but it'd nice to be able to directly extract out equalities involving type variables.

sheaf avatar Jan 21 '22 11:01 sheaf