Changes between Version 6 and Version 7 of SQLLikeComprehensions
- Jan 7, 2008 11:19:44 PM (6 years ago)
v6 v7 1 1 = Comprehensive comprehensions = 2 2 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. 3 As part of his final year work at Cambridge, Max Bolingbroke . 4 4 5 5 … … 211 211 * Add associativity back in 212 212 * 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!