Changes between Initial Version and Version 1 of Ticket #78


Ignore:
Timestamp:
Jan 27, 2006 3:51:18 PM (10 years ago)
Author:
ross@…
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #78 – Description

    initial v1  
    1 GHC allows type constructors to be infix operators (conops, beginning with {{{:}}}, but not including {{{:}}} itself).  This is a straightforward generalisation, doesn't break any existing code, and improves the consistency of the syntax.
    2 
    3 Changes to the syntax may depend on whether CompositionAsDot is adopted, but roughly speaking we add
    4 
    5 {{{
    6  qtycon   -> qconid  | ( qconsym )
    7  qtyconop -> qconsym | ` qconid `
    8 }}}
    9 
    10 And {{{type}}} gets an extra production:
    11 
    12 {{{
    13  type    -> btype qtyconop type
    14 }}}
    15 
    16 (modulo FixityResolution).  Also, there are obvious changes to the grammar for {{{type}}}, {{{data}}}, and {{{newtype}}} declarations.
     1see InfixTypeConstructors.