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 ==