diff options
Diffstat (limited to 'docs/users_guide/exts/linear_types.rst')
| -rw-r--r-- | docs/users_guide/exts/linear_types.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/exts/linear_types.rst b/docs/users_guide/exts/linear_types.rst index 30c7968854..8029d0ad2f 100644 --- a/docs/users_guide/exts/linear_types.rst +++ b/docs/users_guide/exts/linear_types.rst @@ -130,7 +130,7 @@ an error. Printing multiplicity-polymorphic types --------------------------------------- If :extension:`LinearTypes` is disabled, multiplicity variables in types are defaulted -to ``Many`` when printing, in the same manner as described in :ref:`printing-levity-polymorphic-types`. +to ``Many`` when printing, in the same manner as described in :ref:`printing-representation-polymorphic-types`. In other words, without :extension:`LinearTypes`, multiplicity-polymorphic functions ``a %m -> b`` are printed as normal Haskell2010 functions ``a -> b``. This allows existing libraries to be generalized to linear types in a backwards-compatible |