On Aug 3, 2010, at 4:12 PM, Shriram Krishnamurthi wrote:
>>> Matthias, is it intentional that you are using this mechanism?
>>>>>> You mean that I create my own error messages?
>> No, rather: is it intentional that you chose to use separate macros
> for each clause -- "bindings" rather than "symbols", as Jay put it.
Yes.