[m-rev.] for post-commit review: require_switch_arms_{det,...}

[Zoltan Somogyi]

As discussed earlier. The diff is simple enough that I don't
feel the need for a pre-commit review. I *will* ask for reviews
of the diffs to the reference manual and the NEWS file, which
will come next.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.arms_det
Type: application/octet-stream
Size: 2765 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20141114/0e2bce6f/attachment.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.arms_det
Type: application/octet-stream
Size: 60070 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20141114/0e2bce6f/attachment-0001.obj>