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

Minor wordsmithing.

Browse source
This commit is contained in:
Andy Friesen 2021-07-19 14:29:04 -07:00
parent d89d5b0b1f
commit 2bcc270b98
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
papers/hatra21/hatra21.tex
View file

@ -154,7 +154,7 @@ even to creators who are not explicitly providing types.
Goal: \emph{support type-driven tools for all programs}.
Programs spend much of their time under development in an incomplete state, even if the final artifact
is well-typed. Tools should support this, by providing type information for all programs.
is well-typed. Tools should support this by providing type information even for ill-typed programs.
An analogy is infallible parsers, which perform error recovery and provide an AST for all input texts.
Program analysis can still flag type errors, for example with red