fixes

retic/runtime.py

@@ -109,7 +109,7 @@ def check_type_string(val):
     return val if isinstance(val, str) else rse()
 
 def check_type_function(val):
-    return val if callable(val) else rse()
+    return val if callable(val) or isinstance(val, classmethod)  else rse()
 
 def check_type_list(val):
     return val if (isinstance(val, list)) else rse()

retic/typefinder.py

@@ -98,6 +98,8 @@ def visitFunctionDef(self, n, vty, aliases, misc):
             elif isinstance(dec, ast.Name) and dec.id == 'returns':
                 separate = True
                 septo = typeparse(dec.args[0], aliases)
+            elif isinstance(dec, ast.Name) and dec.id == 'staticmethod':
+                return {Var(n.name, n): Dyn}
             else: continue
 
         if separate:

tests/func2.py

@@ -4,4 +4,4 @@ def o(a:Function([int], int)):
 def p(x):
     x(10)
 
-p(10)
+p(o)