27 Nov
2019
27 Nov
'19
09:50
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@iro.umontreal.ca wrote:
On Nov 27, 2019, at 9:10 AM, Dimitris Vyzovitis vyzo@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