It seems that the following attempt at defining a reusable template for modal dialogs (popups) causes the desugaring phase of the webdsl compiler to non-terminate. Compiler is stuck / keeps running after typechecking message.

define foo() {
modalDialog(“[details]”, pub.id) with { dialog() { publicationDetails(bib, pub) } }
}
define ignore-access-control modalDialog(anchor: String, x: UUID) requires dialog() {
var dialogId: String := “modalDialog” + x;
action popup() {
replace(dialogId, modalDialogPopup(dialogId) with { dialog() { dialog() } } );
}
submitlink popup() { output(anchor) }
placeholder dialogId { }
}

define ajax ignore-access-control modalDialogPopup(dialogId: String) requires dialog() {
action close() {
replace(dialogId, empty());
}

submitlink close() { “[close]” }

dialog()

}

Submitted by Eelco Visser on 27 February 2011 at 16:43

instance of https://yellowgrass.org/issue/WebDSL/346 (with/requires for ajax templates has not been implemented yet)

But this seems to upset the compiler; it if is not implemented it should result in an error message, not in non-termination of the compiler.