[m-dev.] representation of higher-order insts

[Peter Ross]

Currently the compiler records that the inst of

    X = plus1

as ground(unique, yes(pred_const_info(...))), so we no longer know the
more specific information that X is bound to plus1

I would like to change the representation to

    bound(unique, [functor(pred_const(ConsId, CurriedInsts))]),
    ConsId = pred_const(PredId, ProcId, LambdaEvalMethod),
    LambdaEvalMethod = normal,
    CurriedInsts = []

Does anyone see anything wrong with this representation?
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------