• simonpj's avatar
    [project @ 2004-10-01 13:42:04 by simonpj] · 837824d2
    simonpj authored
    ------------------------------------
    	Simplify the treatment of newtypes
    	Complete hi-boot file consistency checking
    	------------------------------------
    
    In the representation of types, newtypes used to have a special constructor
    all to themselves, very like TyConApp, called NewTcApp.    The trouble is
    that means we have to *know* when a newtype is a newtype, and in an hi-boot
    context we may not -- the data type might be declared as
    	data T
    in the hi-boot file, but as
    	newtype T = ...
    in the source file.  In GHCi, which accumulates stuff from multiple compiles,
    this makes a difference.
    
    So I've nuked NewTcApp.  Newtypes are represented using TyConApps again. This
    turned out to reduce the total amount of code, and simplify the Type data type,
    which is all to the good.
    
    
    This commit also fixes a few things in the hi-boot consistency checking
    stuff.
    837824d2