diff options
Diffstat (limited to 'docs/users_guide/exts/representation_polymorphism.rst')
| -rw-r--r-- | docs/users_guide/exts/representation_polymorphism.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/exts/representation_polymorphism.rst b/docs/users_guide/exts/representation_polymorphism.rst index 28b3cc78bf..4d461e06fd 100644 --- a/docs/users_guide/exts/representation_polymorphism.rst +++ b/docs/users_guide/exts/representation_polymorphism.rst @@ -27,7 +27,7 @@ Here are the key definitions, all available from ``GHC.Exts``: :: type Type = TYPE LiftedRep -- Type is just an ordinary type synonym The idea is that we have a new fundamental type constant ``TYPE``, which -is parameterised by a ``RuntimeRep``. We thus get ``Int# :: TYPE 'IntRep`` +is parameterised by a ``RuntimeRep``. We thus get ``Int# :: TYPE IntRep`` and ``Bool :: TYPE LiftedRep``. Anything with a type of the form ``TYPE x`` can appear to either side of a function arrow ``->``. We can thus say that ``->`` has type |