fixed a typo

This commit is contained in:
Andreas Rumpf
2014-04-13 00:00:06 +02:00
parent dcfc7a8896
commit 90a6f4ba98

View File

@@ -1390,7 +1390,7 @@ In order to make generic code easier tor write ``ptr T`` is a subtype
of ``ptr[R, T]`` for any ``R``.
Furthermore the subtype relation of the region object types is lifted to
the pointer types: If ``A <: B`` then ``ptr[T, A] <: ptr[T, B]``. This can be
the pointer types: If ``A <: B`` then ``ptr[A, T] <: ptr[B, T]``. This can be
used to model subregions of memory. As a special typing rule ``ptr[R, T]`` is
not compatible to ``pointer`` to prevent the following from compiling: