From 2bcc270b98194ea26025442d3506619710e8ce38 Mon Sep 17 00:00:00 2001 From: Andy Friesen Date: Mon, 19 Jul 2021 14:29:04 -0700 Subject: [PATCH] Minor wordsmithing. --- papers/hatra21/hatra21.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/papers/hatra21/hatra21.tex b/papers/hatra21/hatra21.tex index 85bfe771..4f595bbd 100644 --- a/papers/hatra21/hatra21.tex +++ b/papers/hatra21/hatra21.tex @@ -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