From a8d548073d86b93482fe36df7a1679c872678bd9 Mon Sep 17 00:00:00 2001 From: Arseny Kapoulkine Date: Tue, 29 Mar 2022 13:07:13 -0700 Subject: [PATCH] Mark singleton types and unsealed table literals RFCs as implemented --- rfcs/STATUS.md | 7 ------- rfcs/syntax-singleton-types.md | 2 ++ rfcs/unsealed-table-literals.md | 4 +++- 3 files changed, 5 insertions(+), 8 deletions(-) diff --git a/rfcs/STATUS.md b/rfcs/STATUS.md index 93a09ece..c9819e83 100644 --- a/rfcs/STATUS.md +++ b/rfcs/STATUS.md @@ -17,17 +17,10 @@ This document tracks unimplemented RFCs. ## Sealed/unsealed typing changes -[RFC: Unsealed table literals](https://github.com/Roblox/luau/blob/master/rfcs/unsealed-table-literals.md) | [RFC: Only strip optional properties from unsealed tables during subtyping](https://github.com/Roblox/luau/blob/master/rfcs/unsealed-table-subtyping-strips-optional-properties.md) **Status**: Implemented but not fully rolled out yet. -## Singleton types - -[RFC: Singleton types](https://github.com/Roblox/luau/blob/master/rfcs/syntax-singleton-types.md) - -**Status**: Implemented but not fully rolled out yet. - ## Safe navigation operator [RFC: Safe navigation postfix operator (?)](https://github.com/Roblox/luau/blob/master/rfcs/syntax-safe-navigation-operator.md) diff --git a/rfcs/syntax-singleton-types.md b/rfcs/syntax-singleton-types.md index 26ea3028..2c1f5442 100644 --- a/rfcs/syntax-singleton-types.md +++ b/rfcs/syntax-singleton-types.md @@ -2,6 +2,8 @@ > Note: this RFC was adapted from an internal proposal that predates RFC process +**Status**: Implemented + ## Summary Introduce a new kind of type variable, called singleton types. They are just like normal types but has the capability to represent a constant runtime value as a type. diff --git a/rfcs/unsealed-table-literals.md b/rfcs/unsealed-table-literals.md index 320bf7ca..669b67d4 100644 --- a/rfcs/unsealed-table-literals.md +++ b/rfcs/unsealed-table-literals.md @@ -1,5 +1,7 @@ # Unsealed table literals +**Status**: Implemented + ## Summary Currently the only way to create an unsealed table is as an empty table literal `{}`. @@ -73,4 +75,4 @@ We could introduce a new table state for unsealed-but-precise tables. The trade-off is that that would be more precise, at the cost of adding user-visible complexity to the type system. -We could continue to treat array-like tables as sealed. \ No newline at end of file +We could continue to treat array-like tables as sealed.