Update syntax-singleton-types.md

This commit is contained in:
Alexander McCord 2022-02-17 14:55:41 -08:00 committed by GitHub
parent ba8ed2642e
commit c4f99aa95c
Signed by: DevComp
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,6 +2,8 @@
> Note: this RFC was adapted from an internal proposal that predates RFC process > Note: this RFC was adapted from an internal proposal that predates RFC process
Status: Implemented
## Summary ## 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. 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.