Add an inst.all_typevars() method.

Get all type variables controlling an instruction, whether it is polymorphic or not.
2017-07-28 14:45:56 -07:00
parent dd5bbc298e
commit 9df0b09301
2 changed files with 11 additions and 5 deletions
--- a/lib/cretonne/meta/cdsl/ti.py
+++ b/lib/cretonne/meta/cdsl/ti.py
@@ -796,11 +796,7 @@ def ti_def(definition, typ):

    # Create a dict m mapping each free typevar in the signature of definition
    # to a fresh copy of itself.
-    if inst.is_polymorphic:
-        free_formal_tvs = [inst.ctrl_typevar] + inst.other_typevars
-    else:
-        free_formal_tvs = []
-
+    free_formal_tvs = inst.all_typevars()
    m = {tv: tv.get_fresh_copy(str(typ.get_uid())) for tv in free_formal_tvs}

    # Update m with any explicitly bound type vars