From c4f99aa95cb1cad25f6195f24891ee8235eea6d9 Mon Sep 17 00:00:00 2001 From: Alexander McCord <11488393+alexmccord@users.noreply.github.com> Date: Thu, 17 Feb 2022 14:55:41 -0800 Subject: [PATCH] Update syntax-singleton-types.md --- rfcs/syntax-singleton-types.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/rfcs/syntax-singleton-types.md b/rfcs/syntax-singleton-types.md index 26ea3028..9ecd3e46 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.