Changes between Version 11 and Version 12 of DoAndIfThenElse


Ignore:
Timestamp:
Feb 20, 2007 12:13:14 PM (8 years ago)
Author:
ross@…
Comment:

cleanup case suggestion

Legend:

Unmodified
Added
Removed
Modified
  • DoAndIfThenElse

    v11 v12  
    2020Strictly speaking, the issue is not tied to the `do`-notation, but that is where it (almost?) always shows up. 
    2121 
    22 Jon Fairbairn suggests that `case` should get the same treatment, for consistency: 
    23 {{{ 
    24 do case whatever 
    25    of 
    26       blah -> bluh 
    27       blah' -> bluh' 
    28 }}} 
    29  or perhaps 
    30 {{{ 
    31 do case whatever of 
    32    Cons -> bluh 
    33    Nil  -> foo 
    34 }}} 
    35  
    3622== Proposal == 
    3723 
     
    4430 
    4531The second optional semicolon is the important one. 
    46 The first one just adds a little more convenience; 
    47 it has been suggested that it would be consistent to do the same before `of` in `case` expressions. 
     32The first one just adds a little more convenience. 
    4833 
    49 '''Possible addition''': optional semicolon before/(after?) `of` in `case` expressions too. 
     34'''Possible addition''': Jon Fairbairn suggests that if an optional semicolon is added before `then`, it would be consistent to also add one before `of` in `case` expressions, allowing: 
     35{{{ 
     36do case whatever 
     37   of 
     38      blah -> bluh 
     39      blah' -> bluh' 
     40}}} 
    5041 
    5142== References ==