[m-rev.] for review: Construct partially instantiated direct arg functor values.

[Julien Fischer]

On Tue, Feb 12, 2013 at 5:40 PM, Peter Wang <novalazy at gmail.com> wrote:
> Branches: main, release
> ---
> Construct partially instantiated direct arg functor values.
>
> Construction unifications of partially instantiated values involving direct
> argument functors (where the single argument is free) did not generate any code
> in both low-level and high-level backends.  Incorrect behaviour could result if
> the program tried to deconstruct the value at run-time.
>
> Also, in the LLDS backend, such a construction unification did not enter the
> variable into the var_state_map, leading to a compiler abort when the variable
> is looked up.

That looks fine.

Cheers,
Julien.