Changes between Initial Version and Version 1 of Ticket #78


Ignore:
Timestamp:
Jan 27, 2006 3:51:18 PM (8 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.