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(id)

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

Submitted on 13 October 2006 at 21:28

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

Closing as a duplicate.