[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Chicken-janitors] #932: CR: enable "scrutiny" be default
From: |
Chicken Trac |
Subject: |
[Chicken-janitors] #932: CR: enable "scrutiny" be default |
Date: |
Mon, 08 Oct 2012 18:23:58 -0000 |
#932: CR: enable "scrutiny" be default
----------------------------+-----------------------------------------------
Reporter: felix | Owner:
Type: change request | Status: new
Priority: minor | Milestone: someday
Component: compiler | Version: 4.8.x
Keywords: |
----------------------------+-----------------------------------------------
Flow- and type-analysis only enabled with the `-scrutinize` or
`-specialize` options, or when an optimization-level > 2 is selected.
Since the type-analysis can catch many errors, sjamaan suggested to enable
scrutiny by default (note that this doesn't automatically imply
specialization, i.e. optimizations based on the analysis).
To avoid incorrect warnings in code that redefines standard bindings,
scrutiny should be disabled when the `-no-usual-integrations` option
(implied by optimization level 0) is given.
--
Ticket URL: <http://bugs.call-cc.org/ticket/932>
Chicken Scheme <http://www.call-with-current-continuation.org/>
Chicken Scheme is a compiler for the Scheme programming language.
- [Chicken-janitors] #932: CR: enable "scrutiny" be default,
Chicken Trac <=