luau-lang/luau
1
0
Fork 0
mirror of https://github.com/luau-lang/luau.git synced 2025-05-04 10:33:46 +01:00
Code Issues Projects Releases Packages Wiki Activity

Update rfcs/recursive-type-unrestriction.md

Browse source 
Co-authored-by: Matt Hargett <plaztiksyke@gmail.com>
This commit is contained in:
Alan Jeffrey 2022-01-04 15:18:01 -06:00 • committed by GitHub
parent 51e628954c
commit 57450768a1
Signed by: DevComp
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
rfcs/recursive-type-unrestriction.md
View file

@ -20,7 +20,7 @@ but *not* recursive type functions, such as:
type TreeWithMap<a> = { ..., map: <b>(a -> b) -> Tree<b> } type TreeWithMap<a> = { ..., map: <b>(a -> b) -> Tree<b> }
``` ```
These examples cope up naturally in OO code bases with generic types. These examples come up naturally in OO code bases with generic types.
## Design ## Design