Opened 12 years ago

Closed 11 years ago

#932 closed enhancement (fixed)

CR: enable "scrutiny" be default

Reported by: felix winkelmann Owned by:
Priority: minor Milestone: someday
Component: compiler Version: 4.8.x
Keywords: Cc:
Estimated difficulty:

Description

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.

Change History (4)

comment:2 in reply to:  1 Changed 12 years ago by johnwcowan

comment:3 Changed 12 years ago by felix winkelmann

Type: change requestenhancement

Accepted.

comment:4 Changed 11 years ago by felix winkelmann

Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.