Changes between Version 7 and Version 8 of EmptyDataDecls


Ignore:
Timestamp:
Jul 29, 2009 6:08:32 PM (6 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