Thanks for the pointers! :)
Knowing this, let me maybe rephrase my question: is it possible to get
demand information of identifiers *without* running the analysis itself?
Alejandro
El 13 ene 2022 15:45:29, Sebastian Graf escribió:
> Yes, Matt is right.
>
> `dmdSigInfo` describes the how a
Yes, Matt is right.
`dmdSigInfo` describes the how a function Id uses its arguments and free
variables, whereas
`demandInfo` describes how a (local, mostly) Id is used.
Note that if you wanted to go beyond type-checking, you could probably
run the analysis on the desugaring of the current
