提交: c49055b3f863b8ab587f40df0c787bd048d9a85c - cammy (git)

A categorical programming language

Commit MetaInfo

• 修订版: c49055b3f863b8ab587f40df0c787bd048d9a85c (tree)
• 时间: 2022-02-28 08:56:34
• 作者: Corbin <cds@corb...>
• Commiter: Corbin

Log Message

Catch infinite types during extraction.

更改概述

• modified: cammy-rpy/cammylib/types.py
• modified: cammy-rpy/weave.py

差异

--- a/cammy-rpy/cammylib/types.py
+++ b/cammy-rpy/cammylib/types.py
@@ -107,6 +107,9 @@ class TypeExtractor(object):
         self.d[index] = LETTERS[len(self.d)]
 
     def extractType(self, cs, var):
+        return self.go(cs, var, [])
+
+    def go(self, cs, var, seen):
         sexp = cs.walk(var)
         if isinstance(sexp, Hole):
             if sexp.index not in self.d:
@@ -115,7 +118,10 @@ class TypeExtractor(object):
         elif isinstance(sexp, Atom):
             return sexp.symbol
         elif isinstance(sexp, Functor):
-            args = [self.extractType(cs, unhole(arg)) for arg in sexp.arguments]
+            if var in seen:
+                # XXX split exceptions?
+                raise UnificationFailed("tried to extract infinite type")
+            args = [self.go(cs, unhole(arg), seen + [var]) for arg in sexp.arguments]
             if sexp.constructor == "hom":
                 return "[%s, %s]" % (args[0], args[1])
             elif sexp.constructor == "pair":

--- a/cammy-rpy/weave.py
+++ b/cammy-rpy/weave.py
@@ -1,5 +1,6 @@
 import os
 import os.path
+import sys
 
 from cammylib.arrows import buildArrow, BuildProblem
 from cammylib.hive import Hive, MissingAtom
@@ -61,3 +62,6 @@ def main(argv):
 def target(driver, *args):
     driver.exe_name = "cammy-weave"
     return main, None
+
+if __name__ == "__main__":
+    main(sys.argv)