From 37eea6f631b070eb40ac0540d66086c6f11911ba Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= Date: Fri, 12 May 2023 17:07:04 +0200 Subject: Fix typo in privatetypes.etex This commit fixes a trivial typo in the manual pages about private types. --- manual/src/refman/extensions/privatetypes.etex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/manual/src/refman/extensions/privatetypes.etex b/manual/src/refman/extensions/privatetypes.etex index b6ed0d8e74..dfd1e7565e 100644 --- a/manual/src/refman/extensions/privatetypes.etex +++ b/manual/src/refman/extensions/privatetypes.etex @@ -159,7 +159,7 @@ type v = private [< t > `A] corresponds to private variant types. One cannot create a value of the private type [v], except using the constructors that are explicitly listed as present, "(`A n)" in this example; yet, when -patter-matching on a [v], one should assume that any of the +pattern-matching on a [v], one should assume that any of the constructors of [t] could be present. Similarly to abstract types, the variance of type parameters -- cgit v1.2.1