On 06.08.2020 08:50, Dmitry Stogov wrote:
> My solution:
>
> - remove doc-comment trigger. It doesn't make sense.
> - add @@Jit("off") only. Later we may extend this.
There are pros and cons to the "Jit" attribute name, please consider
@@JitOff (and @@JitOn).
Also make sure to define what happen
My solution:
- remove doc-comment trigger. It doesn't make sense.
- add @@Jit("off") only. Later we may extend this.
On Tue, Aug 4, 2020 at 11:11 AM Benjamin Eberlei
wrote:
> On Mon, Aug 3, 2020 at 7:44 PM Benjamin Eberlei
> wrote:
>
> > Hi,
> >
> > I am going to pick up a discussion from
> >
