Merge pull request #368 from EvgSkv/ti2023

Report annotation error to the user.

Author: EvgSkv

compiler/functors.py

@@ -337,6 +337,15 @@ def CollectAnnotations(self, predicates):
                             '@NoInject']:
         continue
       for rule in rules:
+        if ('literal' not in
+            rule['head']['record']['field_value'][0]['value']['expression'] or
+            'the_predicate' not in
+            rule['head']['record']['field_value'][0]['value']['expression'][
+              'literal']):
+          raise FunctorError('This annotation requires predicate symbol '
+                             'as the first positional argument.',
+                             rule['full_text'])
+
         if rule['head']['record']['field_value'][0]['value']['expression'][
             'literal']['the_predicate']['predicate_name'] in predicates:
           result.append(rule)