The following test

test typecheck divide(bool, bool) test [[ true / true ]] build normalize-and-tc-expr fails

succeeds if the test runner cannot resolve the normalize-and-tc-expr strategy. It should rather give proper compile-time error, or at least a runtime error about unresolved strategy.

If the test is rewritten to

test typecheck divide(bool, bool) test [[ true / true ]] build normalize-and-tc-expr to 0

the unresolved error shows up.

Submitted by Karl Trygve Kalleberg on 3 April 2012 at 11:13