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

Update lower-bounds-calculation.md

Browse source 
This RFC is abandoned; for posterity we will keep this in the tree for now, as it's likely that it represents a subset of the future set of LTI rules
This commit is contained in:
Arseny Kapoulkine 2023-02-14 12:23:54 -08:00 • committed by GitHub
parent c5089def6e
commit 742702a17d
Signed by: DevComp
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
rfcs/lower-bounds-calculation.md
View file

@ -1,5 +1,7 @@
# Lower Bounds Calculation # Lower Bounds Calculation
**Status**: Abandoned in favor of a future design for full local inference
## Summary ## Summary
We propose adapting lower bounds calculation from Pierce's Local Type Inference paper into the Luau type inference algorithm. We propose adapting lower bounds calculation from Pierce's Local Type Inference paper into the Luau type inference algorithm.