From e1c0e64812fc2503149eccaf0b221bf2b651c740 Mon Sep 17 00:00:00 2001 From: Cuihtlauac ALVARADO Date: Mon, 27 Nov 2023 09:05:13 +0100 Subject: [PATCH] Fix typo --- data/tutorials/language/0lg_10_polymorphic_variants.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/data/tutorials/language/0lg_10_polymorphic_variants.md b/data/tutorials/language/0lg_10_polymorphic_variants.md index 81c1feace8..ced222ce30 100644 --- a/data/tutorials/language/0lg_10_polymorphic_variants.md +++ b/data/tutorials/language/0lg_10_polymorphic_variants.md @@ -409,7 +409,7 @@ Adding tags to a polymorphic variant codomain of a function is harmless. Extendi The function type is _contravariant_ on domains. Casting a function is allowed if the target domain is smaller. ```ocaml # let upcast_cod (f : [ `Night | `Day ] -> int) = (x :> [ `Night ] -> int);; -val f : ([ `Night | `Day ] -> int) -> [ `Night ] -> int = +val upcast_cod : ([ `Night | `Day ] -> int) -> [ `Night ] -> int = ``` Contravariance means subtyping “is reversed”: