Merge pull request #380 from EvgSkv/ti2023

Fix missing typing of empty lists.

logica.py

@@ -187,7 +187,11 @@ def main(argv):
     return 0
 
   if command == 'infer_types':
-    typing_engine = infer.TypesInferenceEngine(parsed_rules)
+    # This disallows getting types of program with type errors.
+    # logic_program = universe.LogicaProgram(parsed_rules)
+    # TODO: Find a way to get engine from program. But it should not matter
+    # for inference. It only patters for compiling.
+    typing_engine = infer.TypesInferenceEngine(parsed_rules, "psql")
     typing_engine.InferTypes()
     # print(parsed_rules)
     print(json.dumps(parsed_rules, sort_keys=True, indent=' '))

type_inference/research/infer.py

@@ -426,6 +426,9 @@ def ActMindingListLiterals(self, node):
       for e in node['literal']['the_list']['element']:
         reference_algebra.UnifyListElement(
           list_type, e['type']['the_type'])
+      else:
+        reference_algebra.UnifyListElement(
+          list_type, reference_algebra.TypeReference('Any'))
 
   def ActMindingInclusion(self, node):
     if 'inclusion' in node: