[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