Move transforms.MonomorphismChecker to validators.MonomorphismValidator.

whitequark · whitequark · commit 7c833f07270b · 2015-07-02T21:54:31.000+03:00
diff --git a/artiq/compiler/module.py b/artiq/compiler/module.py
@@ -4,7 +4,7 @@
 
 import os
 from pythonparser import source, diagnostic, parse_buffer
-from . import prelude, types, transforms
+from . import prelude, types, transforms, validators
 
 class Module:
     def __init__(self, source_buffer, engine=None):
@@ -14,14 +14,14 @@ def __init__(self, source_buffer, engine=None):
         asttyped_rewriter = transforms.ASTTypedRewriter(engine=engine)
         inferencer = transforms.Inferencer(engine=engine)
         int_monomorphizer = transforms.IntMonomorphizer(engine=engine)
-        monomorphism_checker = transforms.MonomorphismChecker(engine=engine)
+        monomorphism_validator = validators.MonomorphismValidator(engine=engine)
 
         parsetree, comments = parse_buffer(source_buffer, engine=engine)
         typedtree = asttyped_rewriter.visit(parsetree)
         inferencer.visit(typedtree)
         int_monomorphizer.visit(typedtree)
         inferencer.visit(typedtree)
-        monomorphism_checker.visit(typedtree)
+        monomorphism_validator.visit(typedtree)
 
         self.name = os.path.basename(source_buffer.name)
         self.globals = asttyped_rewriter.globals
diff --git a/artiq/compiler/transforms/__init__.py b/artiq/compiler/transforms/__init__.py
@@ -1,4 +1,3 @@
 from .asttyped_rewriter import ASTTypedRewriter
 from .inferencer import Inferencer
 from .int_monomorphizer import IntMonomorphizer
-from .monomorphism_checker import MonomorphismChecker
diff --git a/artiq/compiler/validators/__init__.py b/artiq/compiler/validators/__init__.py
@@ -0,0 +1 @@
+from .monomorphism import MonomorphismValidator
diff --git a/artiq/compiler/validators/monomorphism.py b/artiq/compiler/validators/monomorphism.py
@@ -1,12 +1,12 @@
 """
-:class:`MonomorphismChecker` verifies that all type variables have been
+:class:`MonomorphismValidator` verifies that all type variables have been
 elided, which is necessary for code generation.
 """
 
 from pythonparser import algorithm, diagnostic
 from .. import asttyped, types, builtins
 
-class MonomorphismChecker(algorithm.Visitor):
+class MonomorphismValidator(algorithm.Visitor):
     def __init__(self, engine):
         self.engine = engine
 

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+from .monomorphism import MonomorphismValidator`