[m-rev.] for review: Construct partially instantiated direct arg functor values.
jfischer at opturion.com
Thu Feb 14 15:30:48 AEDT 2013
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.
More information about the reviews