Changes between Version 6 and Version 7 of SQLLikeComprehensions

Timestamp:

01/07/08 15:19:44 (5 years ago)

Author:

guest

Comment:

Status update on these

SQLLikeComprehensions

@@ -1 +1 @@
 = Comprehensive comprehensions =
 
-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.
+As 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.
 
 
@@ -211 +211 @@
  * Add associativity back in
  * Add desugaring support for parallel arrays as well as lists: every other part of the compiler should already handle these seamlessly
- * 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
-  * This limitation was present in head at the time work was started, but the extensions have made it more acute
-  * It only causes problems when you are binding more things than the maximum tuple size of GHC (62 currently), which is pretty unlikely!