- The component of the :term:`
translator`\ 's :term:`toolchain` that performs a form
+ The component of the :term:`toolchain` that performs a form
of :term:`type inference` on the flow graph. See the `annotator pass`_
Code generator that converts an `RPython
<coding-guide.html#restricted-python>`__ program to a `target
- language`_ using the
PyPy :term:`toolchain`. A backend uses either the
+ language`_ using the :term:`toolchain`. A backend uses either the
:term:`lltypesystem` or the :term:`ootypesystem`.
value at :term:`compile-time`, essentially by deferring compilation
until the run-time value is known. See if `the jit docs`_ help.
`Restricted Python`_, a limited subset of the Python_ language.
The limitations make :term:`type inference` possible.
It is also the language that the PyPy interpreter itself is written
+ The `annotator pass`_, `The RPython Typer`_, and various
Based on the type annotations, the `RPython Typer`_ turns the flow
graph into one that fits the model of the target platform/:term:`backend`
It is the `subsystem implementing the Python language`_, composed
of the bytecode interpreter and of the standard objectspace.
- The `annotator pass`_, `The RPython Typer`_, and various
Code that modifies flowgraphs to weave in translation aspects
Deduces either partially or fully the type of expressions as
described in this `type inference article on Wikipedia`_.
PyPy's tool-chain own flavour of type inference is described
+ toolchain flavour of type inference is described
in the `annotator pass`_ section.
.. _applevel: coding-guide.html#application-level