When forgetting arguments in a template call, no error is given by type checker, but a run-time exception occurs.

define f(x : String, y : String) { ... }

define g() { f("a") }

Submitted by Eelco Visser on 13 February 2010 at 12:38

Seems fixed