From 90a6f4ba984334723ddf5a5bccf54f83f0e0707f Mon Sep 17 00:00:00 2001 From: Andreas Rumpf Date: Sun, 13 Apr 2014 00:00:06 +0200 Subject: [PATCH] fixed a typo --- doc/manual.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/manual.txt b/doc/manual.txt index 298f6329b..775679788 100644 --- a/doc/manual.txt +++ b/doc/manual.txt @@ -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: