Changes between Version 9 and Version 10 of DoAndIfThenElse


Ignore:
Timestamp:
Feb 19, 2007 11:02:32 AM (9 years ago)
Author:
malcolm.wallace@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DoAndIfThenElse

    v9 v10  
    2222Jon Fairbairn suggests that `case` should get the same treatment, for consistency:
    2323{{{
    24 case whatever
    25 of
    26    blah -> bluh
    27    blah' -> bluh'
     24do case whatever
     25   of
     26      blah -> bluh
     27      blah' -> bluh'
    2828}}}
    2929