Add type variables.

2016-02-12 10:11:52 -08:00
parent 4ba29e594f
commit 29481a5851
2 changed files with 26 additions and 0 deletions
--- a/docs/metaref.rst
+++ b/docs/metaref.rst
@@ -38,3 +38,13 @@ Predefined types
 .. automodule:: cretonne.types
    :members:

+Parametric polymorphism
+-----------------------
+.. currentmodule:: cretonne
+
+Instruction operands can be defined with *type variables* instead of concrete
+types for their operands. This makes the instructions polymorphic.
+
+.. autoclass:: TypeVar
+
+