Skip to content

Do eager instantation in terms

Simon Peyton Jones requested to merge wip/T17173 into master

Implements eager instantiation in terms.

In particular it introduces tcInferAppHead for the head of an application, an architecture that we'll need for Quick Look anyway.

Edited by Simon Peyton Jones

Merge request reports