Re: [Caml-list] [ANN] ppx_monadic.1.0.2, ppx for monadic do,

[Jeremy Yallop <yallop@gmail.com>]

On 19 January 2015 at 09:40, Alain Frisch <alain.frisch@lexifi.com> wrote:
> On 01/19/2015 10:06 AM, Gabriel Scherer wrote:
>>
>> (On the other hand, the remark that the existing uses of keyword-bang in
>> the language, namely (method!) and (open!), could now be represented as
>> annotations is fairly reasonable.)
>
> Indeed, these ! markers only affect warnings, and don't change the static or
> dynamic semantics otherwise, so I wouldn't be shocked if they were
> represented internally with attributes.  Unless perhaps if we consider that
> forcing users to mark method overrides, as in many other class-based OO
> languages, should become part of the language definition (i.e. turned into a
> strong error at some point).

A nit: for methods, at least, the ! already produces an error in the
case where the method is not previously defined:

   # object method! m = 3 end;;
  Characters 7-20:
    object method! m = 3 end;;
           ^^^^^^^^^^^^^
  Error: The method `m' has no previous definition