next up previous contents
Next: Specialize Up: Compiler Phases Previous: Reduce   Contents

Unpoly

This phase specializes polymorphic functions to the specific arguments passed to them in the program. If the program contains real polymorphic recursion, Unpoly will be insufficient to avoid later error messages about too much polymorphism.



2014-07-14