From 8e7db982d9bb7c2b3a827aa4c286d056d037d6fe Mon Sep 17 00:00:00 2001 From: Igor Proskurin <105472369+sciprosk@users.noreply.github.com> Date: Sat, 10 Jun 2023 14:37:52 -0700 Subject: [PATCH 1/2] fix missing punctuation --- doc/src/manual/types.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/src/manual/types.md b/doc/src/manual/types.md index 430a006c67788..6dd9db9c1a400 100644 --- a/doc/src/manual/types.md +++ b/doc/src/manual/types.md @@ -57,9 +57,9 @@ kinds of programming, however, become clearer, simpler, faster and more robust w The `::` operator can be used to attach type annotations to expressions and variables in programs. There are two primary reasons to do this: -1. As an assertion to help confirm that your program works the way you expect, +1. As an assertion to help confirm that your program works the way you expect. 2. To provide extra type information to the compiler, which can then improve performance in some - cases + cases. When appended to an expression computing a value, the `::` operator is read as "is an instance of". It can be used anywhere to assert that the value of the expression on the left is an instance From 8b5105f479b2b111b68d80afa7af3dc9e1c7471f Mon Sep 17 00:00:00 2001 From: "Viral B. Shah" Date: Thu, 15 Jun 2023 16:55:01 -0400 Subject: [PATCH 2/2] Update types.md --- doc/src/manual/types.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/src/manual/types.md b/doc/src/manual/types.md index 6dd9db9c1a400..3510dfe7a7042 100644 --- a/doc/src/manual/types.md +++ b/doc/src/manual/types.md @@ -57,7 +57,7 @@ kinds of programming, however, become clearer, simpler, faster and more robust w The `::` operator can be used to attach type annotations to expressions and variables in programs. There are two primary reasons to do this: -1. As an assertion to help confirm that your program works the way you expect. +1. As an assertion to help confirm that your program works the way you expect, and 2. To provide extra type information to the compiler, which can then improve performance in some cases.