Version 2 (modified by ilya, 3 years ago) (diff)


Demand analyser in GHC

This page explains basics of the so-called demand analysis in GHC, comprising strictness and absence analyses. Meanings of demand signatures are explained and examples are provided. Also, components of the compiler possibly affected by the results of the demand analysis are listed with explanations provided.

Demand signatures


Worker-Wrapper split


Relevant compiler parts