Changes between Version 6 and Version 7 of DoAndIfThenElse


Ignore:
Timestamp:
Oct 19, 2006 11:13:04 AM (8 years ago)
Author:
simonmar@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DoAndIfThenElse

    v6 v7  
    2020Strictly speaking, the issue is not tied to the `do`-notation, but that is where it (almost?) always shows up. 
    2121 
     22Jon Fairbairn suggests that `case` should get the same treatment, for consistency: 
     23{{{ 
     24case whatever 
     25of 
     26   blah -> bluh 
     27   blah' -> bluh' 
     28}}} 
     29 
    2230== Proposal == 
    2331 
     
    3240The first one just adds a little more convenience; 
    3341it has been suggested that it would be consistent to do the same before `of` in `case` expressions. 
     42 
     43Possible addition: optional semicolon before `of` in `case` expressions too. 
    3444 
    3545== References ==