Right now PropCalc just uses insert-results to replace all Result(id) terms by a list of their results, but it should use the same mechanism as the task engine to produce all permutations.

Submitted by Gabriël Konat on 1 July 2013 at 22:45

On 3 July 2013 at 19:30 Gabriël Konat commented:

Fixed in https://github.com/metaborg/runtime-libraries/tree/better-proplookup but needs to be merged into master. Waiting for Guido to give a green light on this, since it will affect a lot of code.

On 13 July 2013 at 02:11 Gabriël Konat tagged minor

Log in to post comments