Skip to content

QuickLook: do a shape test before unifying

sheaf requested to merge sheaf/ghc:T25950 into master

Tickets: #25950 (closed) #26030 (closed)

This MR ensures we do a shape test before unifying. This ensures we don't try to unify a TyVarTv with a non-tyvar, e.g.

alpha[tyv] := Int
Edited by sheaf

Merge request reports