Documentation

Does a computation in the FCode monad, with a current environment and a list of local declarations. Returns the resulting list of declarations.

The environment contains variable definitions or blockids.

An environment of named things.

Takes the variable decarations and imports from the monad and makes an environment, which is looped back into the computation. In this way, we can have embedded declarations that scope over the whole procedure, and imports that scope over the entire module. Discards the local declaration contained within decl'

Get the current environment from the monad.

Create a fresh local variable of a given type.

Allocate a fresh label.

Add add a local function to the environment.

Add an imported foreign label to the list of local declarations. If this is done at the start of the module the declaration will scope over the whole module.

Lookup the BlockId bound to the label with this name. If one hasn't been bound yet, create a fresh one based on the Unique of the name.

Lookup the location of a named variable. Unknown names are treated as if they had been 'import'ed from the runtime system. This saves us a lot of bother in the RTS sources, at the expense of deferring some errors to link time.

Lift an FCode computation into the CmmParse monad