-
Simon Peyton Jones authored
------------------------------------- Fix a name-capture bug in Ext-Core ------------------------------------- Don't expand newtypes (even non-recursive ones) when going to External Core. Reason: the expansion was performed *after* Tidying; the expansion performs type substitution, which is only done right if you take account of the Uniques. But since it's post-tidying, we got capture of occurence names. I hope the lack of newtype expansion doesn't hurt anyone; I doubt it will. If so, we can think again. Thanks to Tobias Gedell for this one.
17777c53