From a313774398d9128145b3303128c9f05fbe2bb712 Mon Sep 17 00:00:00 2001 From: Alexander Myshov Date: Sun, 12 Apr 2020 01:18:46 +0700 Subject: [PATCH] Fix typo in article "Type Compatibility" I believe that in the computing the common usage of the term "source" is an input for some "target". So in the example of the section "Comparing two functions" "source" and "target" should be swapped. --- pages/Type Compatibility.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pages/Type Compatibility.md b/pages/Type Compatibility.md index 737b5e4d0..f49d1e053 100644 --- a/pages/Type Compatibility.md +++ b/pages/Type Compatibility.md @@ -105,7 +105,7 @@ x = y; // OK y = x; // Error, because x() lacks a location property ``` -The type system enforces that the source function's return type be a subtype of the target type's return type. +The type system enforces that the target function's return type be a subtype of the source type's return type. ## Function Parameter Bivariance