[m-rev.] for review: replace item_id_sets

[Julien Fischer]

On Fri, 27 Aug 2021, Zoltan Somogyi wrote:

>
> 2021-08-27 21:44 GMT+10:00 "Julien Fischer" <jfischer at opturion.com>:
>>> +    % XXX I (zs) do not see why a decl_pragma *outside* a typeclass
>>> +    % declaration should be able to apply to a class method that is declared
>>> +    % *inside* the typeclass declaration. We should require that any
>>> +    % decl pragma that is intended to apply to a class method
>>> +    % should be declared next to it *inside the typeclass declaration itself*.
>>
>> At the moment I don't think we allow anything inside typeclass declarations
>> except pred, mode and func declarations.
>
> Yes, I know. But having a pragma from outside the typeclass declaration
> "reach into" the typeclass and affect one of its methods still feels wrong.

I agree; we should allow pragmas in typeclass declarations.

Julien.