mrsc
mrsc copied to clipboard
Two-level whistle
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.