for m in super_mmodules do
if declared_annotations[m].has(name) then
- modelbuilder.warning(annot, "multiple-annotation-declarations", "Warning: an annotation `{name}` is already declared in module `{m}`")
+ modelbuilder.warning(annot, "multiple-annotation-declarations", "Warning: an annotation `{name}` is already declared in module `{m}`.")
break label
end
end
var primtives_annotations_list = """
new_annotation
+conditional
+
deprecated
fixed
lazy
noinit
readonly
writable
+optional
autoinit
noautoinit
+lateinit
nosuper
old_style_init
abstract
intern
extern
no_warning
+generated
auto_inspect
pkgconfig
cflags
ldflags
+light_ffi
platform
+
+test
+before
+before_all
+after
+after_all
+example
+
+expect
+ensure
+no_contract
"""
# Efficient set build from `primtives_annotations_list`
if annots.has(name) then return
- toolcontext.modelbuilder.warning(nat, "unknown-annotation", "Warning: unknown annotation `{name}`")
+ toolcontext.modelbuilder.warning(nat, "unknown-annotation", "Warning: unknown annotation `{name}`.")
annots.add(name) # to avoid multiple errors on the same name
end