-
John van Groningen authored
(add missing module checktypes to:) fix Run Time errors and incorrect inconsistent attribution errors caused by commit 28c890cd, instead fix crash on existentially qualified type variables that already appear in the left-hand side of the type by removing these existential variables from the list
0026a14f