various phases: more robust for keep-going

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

diff --git a/src/frontend/check_annotation.nit b/src/frontend/check_annotation.nit
index 7cd186e..ffba4ad 100644 (file)
--- a/src/frontend/check_annotation.nit
+++ b/src/frontend/check_annotation.nit
@@ -22,6 +22,7 @@ import phase
 private import annotation
 
 redef class ToolContext
+       # Check for unknown annotation in each module
        var check_annotation_phase: Phase = new CheckAnnotationPhase(self, null)
 end
 
@@ -39,7 +40,7 @@ private class CheckAnnotationPhase
        do
                # Get the mmodule
                var mmodule = nmodule.mmodule
-               assert mmodule != null
+               if mmodule == null then return
                self.mmodule = mmodule
 
                # If no decl block then quit
@@ -82,16 +83,19 @@ noinit
 readonly
 writable
 autoinit
-cached
+noautoinit
 nosuper
 old_style_init
 abstract
 intern
 extern
+no_warning
+
+auto_inspect
 
 pkgconfig
-c_compiler_option
-c_linker_option
+cflags
+ldflags
 
 platform
 """
@@ -108,7 +112,7 @@ platform
                if primtives_annotations.has(name) then return
 
                var mmodule = self.mmodule
-               assert mmodule != null
+               if mmodule == null then return
 
                # Lazily build the full user-list
                var annots = user_annotations.get_or_null(mmodule)