Documentation

Convert into the target language. This does not make much of a change, but it checks the changes that have already occurred.

The only substantitive conversion here is of tupled arguments to multiple argument functions.

First argument indicates (1) whether we're inpacked mode, and (2) the pre-cursorize type of the mainExp, if there is a mainExp.

Look up the numeric tag for a dataCon