From c0c0aa570f7a2948c4a80bdab59ad6dbfb2c4cb8 Mon Sep 17 00:00:00 2001 From: ooxi Date: Sun, 24 Jul 2022 21:50:16 +0200 Subject: [PATCH] Fix spelling of primitive types Primitive types have been renamed in pull request #861 and also the design document. --- docs/design/primitive_types.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/docs/design/primitive_types.md b/docs/design/primitive_types.md index bc5f655c6893a..e9479fbdf8e19 100644 --- a/docs/design/primitive_types.md +++ b/docs/design/primitive_types.md @@ -37,14 +37,14 @@ modifying other types. They also have semantics that are defined from first principles rather than in terms of other operations. These will be made available through the [prelude package](README.md#name-lookup-for-common-types). -- `Bool` - a boolean type with two possible values: `True` and `False`. +- `Bool` - a boolean type with two possible values: `true` and `false`. - `Int` and `UInt` - signed and unsigned 64-bit integer types. - Standard sizes are available, both signed and unsigned, including - `Int8`, `Int16`, `Int32`, `Int128`, and `Int256`. + `i8`, `i16`, `i32`, `i64`, `i128`, and `i256`. - Overflow in either direction is an error. - `Float64` - a floating point type with semantics based on IEEE-754. - - Standard sizes are available, including `Float16`, `Float32`, and - `Float128`. + - Standard sizes are available, including `f16`, `f32`, and + `f128`. - [`BFloat16`](primitive_types.md#bfloat16) is also provided. - `String` - a byte sequence treated as containing UTF-8 encoded text. - `StringView` - a read-only reference to a byte sequence treated as