• simonpj's avatar
    [project @ 2003-02-04 15:31:18 by simonpj] · 17777c53
    simonpj 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
MkExternalCore.lhs 8.53 KB