27 Nov
2019
27 Nov
'19
09:45
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