Merge: doc: fixed some typos and other misc. corrections
[nit.git] / tests / sav / syntax_annotations3.res
index 957e98d..52e9594 100644 (file)
@@ -1,14 +1,12 @@
-syntax_annotations3.nit:16,2--20: Warning: unknown annotation `invariant`
-syntax_annotations3.nit:19,3--12: Warning: unknown annotation `pre`
-syntax_annotations3.nit:20,3--22: Warning: unknown annotation `post`
-syntax_annotations3.nit:21,3--19: Warning: unknown annotation `test`
-syntax_annotations3.nit:28,3--7: Warning: unknown annotation `inter`
-syntax_annotations3.nit:33,16--18: Warning: unknown annotation `u32`
-syntax_annotations3.nit:34,19--36: Warning: unknown annotation `after`
-syntax_annotations3.nit:34,12--36: Warning: unknown annotation `daemon`
-syntax_annotations3.nit:34,3--37: Warning: unknown annotation `ondebug`
-syntax_annotations3.nit:35,3--7: Warning: unknown annotation `final`
-syntax_annotations3.nit:38,28--35: Warning: unknown annotation `readable`
-syntax_annotations3.nit:38,38--45: Warning: unknown annotation `initable`
-syntax_annotations3.nit:38,48--56: Warning: unknown annotation `fast_init`
-syntax_annotations3.nit:42,20--28: Warning: unknown annotation `unchecked`
+syntax_annotations3.nit:16,2--20: Warning: unknown annotation `invariant`.
+syntax_annotations3.nit:19,3--12: Warning: unknown annotation `pre`.
+syntax_annotations3.nit:20,3--22: Warning: unknown annotation `post`.
+syntax_annotations3.nit:28,3--7: Warning: unknown annotation `inter`.
+syntax_annotations3.nit:33,16--18: Warning: unknown annotation `u32`.
+syntax_annotations3.nit:34,12--36: Warning: unknown annotation `daemon`.
+syntax_annotations3.nit:34,3--37: Warning: unknown annotation `ondebug`.
+syntax_annotations3.nit:35,3--7: Warning: unknown annotation `final`.
+syntax_annotations3.nit:38,28--35: Warning: unknown annotation `readable`.
+syntax_annotations3.nit:38,38--45: Warning: unknown annotation `initable`.
+syntax_annotations3.nit:38,48--56: Warning: unknown annotation `fast_init`.
+syntax_annotations3.nit:42,20--28: Warning: unknown annotation `unchecked`.