[gambit-list] Code elimination in (not safe) context

Marc Feeley feeley at iro.umontreal.ca
Wed Nov 27 09:45:36 EST 2019


> 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





More information about the Gambit-list mailing list