mrsc icon indicating copy to clipboard operation
mrsc copied to clipboard

Two-level whistle

Open ilya-klyuchnikov opened this issue 12 years ago • 0 comments

In classical supercompilation when whistle blows, generalization (rebuilding) is performed. We can introduce two-level whistle in multi-result supercompilation: something like Warning/Hint. The logic is as follows: we cannot continue driving on warning - only rebuildings are allowed, on hint we continue driving and also perform rebuildings.

ilya-klyuchnikov avatar Aug 25 '11 05:08 ilya-klyuchnikov