Compiling this code does not result in an error, though it should, given that some-strategy is called without supplying an argument strategy:

main =

some-strategy(s) =
[id | some-strategy]

Submitted on 13 October 2006 at 21:28

On 19 December 2006 at 21:04 Jira commented:

STR-655, martin:
This is another example of issue STR-497, which is getting more and more important.

Closing as a duplicate.

Log in to post comments