-
Simon Marlow authored
This was apparently needed at some point during the new typechecker development, but does not seem to be required now.
8350c217
This was apparently needed at some point during the new typechecker development, but does not seem to be required now.