Closed StrongerXi closed 3 years ago
Tyvar_namer failed to capture dependency of tyvars between arguments of different functions.
Tyvar_namer
See 844378b for the cause and fix.
See e73d53b for the regression test added for Tyvar_namer.
Lesson unit tests really keep your butt covered.
Tyvar_namer
failed to capture dependency of tyvars between arguments of different functions.See 844378b for the cause and fix.
See e73d53b for the regression test added for
Tyvar_namer
.Lesson unit tests really keep your butt covered.