The following navigate

navigate(profile(person, “publications”, ""))[class:=""+class]{ output(tag) }

to page

define page profile(pers : Person, tab : String, option : String, tag : String) {

is not flagged by the typechecker, but results in a model-to-model error:

 [exec] [ webdslc | info ] stage 4: model-to-modelcannot determine type of argument (type-of rule fails): ThisCall("profile",[Var("person"{"person22"}),String("publications"),String("")])
 [exec] error in templatecall found during model-to-model: ("navigate",[ThisCall("profile",[Var("person"{"person22"}),String("publications"),String("")])])
 [exec] webdslc: rewriting failed, trace:

Submitted by Eelco Visser on 15 February 2010 at 10:50

Only page name was checked, not the signature.
Fixed in svn revision 3631.