Changes between Version 4 and Version 5 of ApplicativeDo


Ignore:
Timestamp:
Mar 6, 2014 3:31:51 PM (18 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