[gambit-list] Code elimination in (not safe) context
Dimitris Vyzovitis
vyzo at hackzen.org
Wed Nov 27 09:50:14 EST 2019
Good point. This is all achievable with the cond-expand approach, the
compiler can accept a flag to explicitly disable contract checks.
-- vyzo
On Wed, Nov 27, 2019 at 4:45 PM Marc Feeley <feeley at iro.umontreal.ca> wrote:
>
> > On Nov 27, 2019, at 9:10 AM, Dimitris Vyzovitis <vyzo at hackzen.org>
> wrote:
> >
> > When the compiler detects that it is in a safe context (absence of a
> local or prelude (not safe) declaration), then it
> > can emit a (define-cond-expand-feature|gerbil-runtime-checks|) for gsc,
> and compile in the contract checks.
> >
>
> BTW I don’t think you should conflate the presence of a (not safe)
> declaration and avoiding contract checks. The two are closely related, but
> maybe you want finer control to disable them separately.
>
> Marc
>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.iro.umontreal.ca/pipermail/gambit-list/attachments/20191127/423483ea/attachment.htm>
More information about the Gambit-list
mailing list