Changes between Version 1 and Version 2 of ToolSupport


Ignore:
Timestamp:
Dec 4, 2005 2:29:26 PM (8 years ago)
Author:
malcolm.wallace@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ToolSupport

    v1 v2  
    66   I imagine the maintainers of old code would be happiest if there were a mechanical and guaranteed semantically correct 
    77   method for updating their modules.  Issues to consider: 
    8    * replacements for removal candidates e.g. (n+k) patterns, irrefutable patterns, etc. 
     8   * simple removal candidates e.g. (n+k) patterns, irrefutable patterns, etc. 
    99   * transform imports of the Haskell'98 libraries to imports of Haskell Prime libraries 
     10   * any major changes, e.g. records 
    1011 
    1112 * '''Haskell Prime to Haskell'98.''' 
    12    There is also a case to be made that, if there are syntactic additions to the language, it could be valuable to define them in terms 
     13   There is also a case to be made that, if there are to be syntactic additions to the language, it is valuable to define them in terms 
    1314   of the existing Haskell'98 core.  A syntactic translator could then be used as a simple pre-processor to enable users to gain experience 
    1415   with the proposals in real code, but using existing compilers.  This might enable e.g. QuickChecking of semantic properties to compare