Changes between Version 7 and Version 8 of EmptyDataDecls


Ignore:
Timestamp:
Jul 29, 2009 6:08:32 PM (5 years ago)
Author:
sweirich
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • EmptyDataDecls

    v7 v8  
    1717|| LHC   || [ full -fglasgow-exts ] || 
    1818 
    19 Information from language documentation only. I haven't tried it on any of these systems. 
     19[Information from language documentation.] 
    2020 
    2121== Summary == 
     
    4343}}} 
    4444 
    45 [wiki:KindInference Kind inference] will of course be carried out for types constructors 
    46 introduced by empty declarations just as for any other type constructors according to 
     45[wiki:KindInference Kind inference] will of course be carried out for type constructors 
     46introduced by empty declarations just as for all other type constructors according to 
    4747whatever rules are adopted. Unless there are further constraints, the kinds of the 
    4848constructors above would be 
     
    7474gives a more regular syntax and better error messages than ruling out deriving for empty declarations 
    7575syntactically. But the point is that there is a choice. 
    76  
    77  * A simple and natural generalisation of data declarations, seemingly without any hidden complications. 
    7876 
    7977