Changes between Version 4 and Version 5 of ApplicativeDo


Ignore:
Timestamp:
Mar 6, 2014 3:31:51 PM (12 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ApplicativeDo

    v4 v5  
    130130Not a huge problem, this is exactly what we do for pattern bindings. 
    131131 
     132=== No unique grouping === 
     133 
     134There isn't a guaranteed unique way of doing the grouping. Eg 
     135{{{ 
     136do { x <- A 
     137   ; y <- B  -- no x 
     138   ; z <- C x } 
     139}}} 
     140could be grouped with the first two in an applicative, or the second two, but not all three. Which one "wins"? 
     141 
    132142== Stage 2 
    133143