From 626f71734b6b42e1cf97ccc012bc6b08739afae4 Mon Sep 17 00:00:00 2001
From: Alan Jeffrey <403333+asajeffrey@users.noreply.github.com>
Date: Wed, 22 Sep 2021 12:56:03 -0500
Subject: [PATCH] Update papers/hatra21/talk.tex

Co-authored-by: Andy Friesen <afriesen@roblox.com>
---
 papers/hatra21/talk.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/papers/hatra21/talk.tex b/papers/hatra21/talk.tex
index 4deb2c1d..1c8627fb 100644
--- a/papers/hatra21/talk.tex
+++ b/papers/hatra21/talk.tex
@@ -186,7 +186,7 @@ Goal: \emph{support mixed strict/nonstrict development}.
 Goal: \emph{provide benefits of type-directed tools to everyone}.
 
 \begin{itemize}
-\item \textbf{Infer types} for all variables, don't just give them type any.
+\item \textbf{Infer types} for all variables.  Resist the urge to give up and ascribe a top type when an error is encountered.
 \item \textbf{System F} is in Luau, so everything is undecidable. Yay heuristics!
 \item \textbf{Different modes} currently infer different types. Boo!
 \end{itemize}