Changes between Version 6 and Version 7 of SQLLikeComprehensions


Ignore:
Timestamp:
Jan 7, 2008 11:19:44 PM (6 years ago)
Author:
guest
Comment:

Status update on these

Legend:

Unmodified
Added
Removed
Modified
  • SQLLikeComprehensions

    v6 v7  
    11= Comprehensive comprehensions = 
    22 
    3 As part of his final year work at Cambridge, Max Bolingbroke is working on implementing the "Comprehensive Comprehensions" described in a paper [http://research.microsoft.com/~simonpj/papers/list-comp/index.htm available here] in GHC. This page will contain notes on the implementation as it unfolds. 
     3As part of his final year work at Cambridge, Max Bolingbroke worked on implementing the "Comprehensive Comprehensions" described in a paper [http://research.microsoft.com/~simonpj/papers/list-comp/index.htm available here] in GHC. A patch with the complete functionality described here was integrated into GHCs HEAD branch on the 20th December 2007. 
    44 
    55 
     
    211211 * Add associativity back in 
    212212 * Add desugaring support for parallel arrays as well as lists: every other part of the compiler should already handle these seamlessly 
    213  * Extend all list comprehension desugaring to "big" tuples: this will let it deal gracefully with the case where we need to bind an intermediate tuple of size exceeding the maximum tuple size 
    214   * This limitation was present in head at the time work was started, but the extensions have made it more acute 
    215   * It only causes problems when you are binding more things than the maximum tuple size of GHC (62 currently), which is pretty unlikely!