bolt/test/checker/local_constraints_polymorphic_variable.bolt
Sam Vervaeck d81e92231f
Some minor enhancements
- Make if-elif-else possible
 - Add more tests
 - Ensure that failed tests fail tools like xargs
 - Refactor printing logic out of ConsoleDiagnostics
2023-06-11 11:04:04 +02:00

9 lines
85 B
Text

let fac n.
n + 1
return n
@expect_diagnostic 2010
@:Int fac "foo"
@:Int fac 1