Skip to content

Better loop detection in findTypeShape

Simon Peyton Jones requested to merge wip/T18304 into master

Andreas pointed out, in !3466 (closed), that my fix for #18304 (closed) was not quite right. This patch fixes it properly, by having just one RecTcChecker rather than (implicitly) two nested ones, in findTypeShape.

Merge request reports