Re: [Spark] Converting Arrays

[JP Thornley <jpt@diphi.demon.co.uk>]

In article <slrnb6u84d.nt.lutz@taranis.iks-jena.de>, Lutz Donnerhacke 
<lutz@iks-jena.de> writes
>main_rules(100): test__length_of_dest may_be_replaced_by test_it__dest__last - test_it__dest__first + 1.
>main_rules(101): test__length_of_dest may_be_replaced_by my__last - my__first + 1.

Note that here you have given two different replacements for the same 
item. It is not obvious what the Simplifier will do with these.

The restriction that an out mode parameter can't be referenced in a 
precondition seems to be the major cause of the difficulty, and I have 
(reluctantly) come to the conclusion that the way to avoid explicit 
rules for each instance of the output parameter is to pass the length as 
an additional parameter, as Rod suggests.

Cheers,

Phil

-- 
JP Thornley