Changes between Version 11 and Version 12 of DoAndIfThenElse

Timestamp:

02/20/07 04:13:14 (6 years ago)

Author:

ross@…

Comment:

cleanup case suggestion

DoAndIfThenElse

@@ -20 +20 @@
 Strictly speaking, the issue is not tied to the `do`-notation, but that is where it (almost?) always shows up.
 
-Jon Fairbairn suggests that `case` should get the same treatment, for consistency:
-{{{
-do case whatever
-   of
-      blah -> bluh
-      blah' -> bluh'
-}}}
- or perhaps
-{{{
-do case whatever of
-   Cons -> bluh
-   Nil  -> foo
-}}}
-
 == Proposal ==
 
@@ -44 +30 @@
 
 The second optional semicolon is the important one.
-The first one just adds a little more convenience;
-it has been suggested that it would be consistent to do the same before `of` in `case` expressions.
+The first one just adds a little more convenience.
 
-'''Possible addition''': optional semicolon before/(after?) `of` in `case` expressions too.
+'''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:
+{{{
+do case whatever
+   of
+      blah -> bluh
+      blah' -> bluh'
+}}}
 
 == References ==