Open GoogleCodeExporter opened 8 years ago
This behavior is not implemented. For non-parallel rules, you can use the
equivalence:
[ [..] -> B || C _ D ].i = B <- [..] || C _ D ;
and, of course, in the simpler case without contexts:
[ [..] -> B ].i = B <- [..]
Original comment by mans.hul...@gmail.com
on 22 Dec 2012 at 6:51
Original issue reported on code.google.com by
senka.dr...@gmail.com
on 21 Dec 2012 at 1:49