This program compiles without errors:
—————————————
module foo
imports list-cons
strategies

main =
foo(fail)

foo(s : (t -> t) * t -> t) =
s(!2)
————————————–

Related problem is that warnings are not shown if they are not fatal and verbosity < 2.

Submitted on 27 August 2005 at 18:26

STR-405, martin:
Using -Werror is a problem, since this will also fail on warnings related to unused labels and variables.

Better just solve this particular problem by a decent type checker for Stratego.