Merge: Contract: Change mpropdef driving

[nit.git] / src / frontend / check_annotation.nit

diff --git a/src/frontend/check_annotation.nit b/src/frontend/check_annotation.nit
index 6d9bb60..9dc9cfd 100644 (file)
--- a/src/frontend/check_annotation.nit
+++ b/src/frontend/check_annotation.nit
@@ -76,28 +76,45 @@ private class CheckAnnotationPhase
        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`