Changes between Version 7 and Version 8 of CrossPackageDocumentation

Show
Ignore:
Timestamp:
05/23/09 17:38:47 (6 years ago)
Author:
waern (IP: 90.36.55.227)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • CrossPackageDocumentation

    v7 v8  
    2929The downside of this approach is that we loose the original declaration style. For example, we don't know if a data type was declared using GADT-style syntax (with a 'where' clause), or normal style. Other examples: 
    3030  * We can't put in extra parenthesis where the user wants them. 
    31   * Sometimes users want non-operators to be used infix, a good example is Conal's type composition {{{`O`}}}. 
     31  * Sometimes users want non-operators to be defined and used in infix form, a good example is Conal's type composition {{{`O`}}}.