Minimal example:

application test

page root() {
  main
  template body() { "root" }
}
template main() { body }
template body() { "default" }

Error:

Ambiguities found during parsing of ../test.app : 
amb(
  [ [ TemplateCallNoArgs("main")
    , DefineTemplate([], "body", [], None(), [Text("root")])
    ]
  , [ TemplateCallNoArgs("main")
    , TemplateCallNoArgs("template")
    , TemplateCallNoAssigns("body", [], TemplateBody([Text("root")]))
    ]
  ]
)
[ Main | critical ] Internal error - ambiguities found in module ../test.app

So the local redefinition of “body” can also be parsed as template calls to the templates “template” and “body”. This can be solved by rejecting “template” as TemplateCallId.

Submitted by Christoffer Gersen on 6 December 2012 at 14:31

Fixed in r5549