• simonpj's avatar
    [project @ 2001-06-11 12:21:17 by simonpj] · 0004357c
    simonpj authored
    --------------------------
    	Allow data type declarations
    	to have zero constructors
    	--------------------------
    
    This allows
    
    	data T a
    
    as a data type declaration; i.e. allows zero constructors.
    If there is an '=' sign there must be at least one constructor.
    
    
    * Parser.y: parse the declaration
    * HsDecls: print out the data type declaration right
    * TyCon: don't ASSERT that the constructors are non-empty
    0004357c
HsDecls.lhs 27.3 KB