I have a small app, that registers publications. It models authors, author aliases and publications. Compilation fails on the page which registers a new author. This page makes use of a string input and first stores an alias, followed by a person. I have attached the complete source code. Note that the page definitions are somewhat strange (e.g. ugly dereferences to get to an author’s name), this is because it is an intermediate stage of an evolution trace.

Upon compilation I get the error below. The editor does not provide any error. I tried to set the alias’ name in the initialization of variable a first, but the editor would not allow this (no idea why, I guess it is related).

[ Main | info ] stage 1: parsing test.app : [user/system] = [1.48s/0.00s]
[ Main | info ] stage 2: importing modules : [user/system] = [3.80s/0.00s]
[ Main | info ] stage 3: typechecking[ Main | error ] No pp entry found for: (1,[“ClassSort”])
[ Main | error ] Cannot rewrite to box:
ClassSort(“String”){[NativeClassAnno(“String”,“java.lang.String”)]}
[ Main | error ] No pp entry found for: (1,[“ClassSort”])
[ Main | error ] Cannot rewrite to box:
ClassSort(“String”){[NativeClassAnno(“String”,“java.lang.String”)]}
: [user/system] = [2.96s/0.00s]
[ Main | info ] stage 4: model-to-model[ Main | error ] No pp entry found for: (1,[“ClassSort”])
[ Main | error ] Cannot rewrite to box:
ClassSort(“String”)
[ Main | critical ] Error found during compilation: template call with signature
(“input”{“newAuthor_input1”},[Var(“n”{“newAuthor_n1”})]) is not valid
(“input”{“newAuthor_input1”},[Var(“n”{“newAuthor_n1”})])
Main: rewriting failed, trace:
webdslc_main_0_0
xtc_io_wrap_5_0
option_wrap_5_0
xtc_io_1_0
xtc_temp_files_1_0
restore_always_2_0
xtc_webdslc_0_0
dsl_to_core_0_0
dsl_to_core_generation_0_0
stage_1_1
dr_scope_1_1
log_timed_1_1
repeat_1_0
innermost_rep_1_0
dr_scope_1_1
dr_scope_1_1
innermost_rep_aux_1_0
innermost_rep_aux_2_0
innermost_rep_aux_2_0
innermost_rep_aux_2_0
innermost_rep_aux_2_0
with_toplevel_name_1_0
with_toplevel_name_1_1
dr_scope_1_1
innermost_rep_aux_1_0
innermost_rep_aux_2_0
try_1_0
desugar_0_0
desugar_in_context_helper_0_0
dr_scope_1_1
rename_0_0
rename_ui_0_0
rename_ui_0_0_fragment_2
dr_scope_1_1
dr_scope_1_1
dr_scope_1_1
dr_scope_1_1
dr_scope_1_1
dr_scope_1_1
dr_scope_1_1
rename_all_1_0
with_origin_1_0
with_origin_1_1
map_1_0
alltd_1_0
rename_0_0
rename_ui_0_0
rename_ui_0_0_fragment_2
rename_ui_0_0_fragment_1
rename_ui_0_0_fragment_0
rename_all_0_0
with_origin_1_1
alltd_1_0
rename_0_0
rename_ui_0_0
rename_ui_0_0_fragment_2
rename_ui_0_0_fragment_1
rename_ui_0_0_fragment_0
resolve_template_call_name_0_0
rename_template_call_name_error_0_0
fatal_err_0_1
concat_strings_0_0
[ Main | critical ] Internal error: with clause failed unexpectedly in rule
‘rename-template-call-name-error’
(“input”{“newAuthor_input1”},[Var(“n”{“newAuthor_n1”})])

Submitted by Sander Vermolen on 24 May 2011 at 10:40

There is a bug in test.app:

var n := String

should be

var n : String

String is not a valid expression, this should have been reported by the typechecker.

Right, that solves things in the app. I’ll leave the issue open for the type checker part of the issue.

fixed in r4692