From f83e8d48bc2993ca53d2e38294f1f729c5a34943 Mon Sep 17 00:00:00 2001 From: Cliff Click Date: Wed, 13 Aug 2025 16:35:26 -0700 Subject: typo fix in reader --- TypeAnalysis.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/TypeAnalysis.md b/TypeAnalysis.md index f2f573ee..cb283dec 100644 --- a/TypeAnalysis.md +++ b/TypeAnalysis.md @@ -16,11 +16,11 @@ In both languages, after the first round of *pessimistic* constant propagation (and extensive peephole optimizations) completes, every program point (node in the IR) has a type - and if there are no error types, then the program is type-safe. No separate typing pass is needed, and this is typically done -partially as the program parses, and immediately thereafter. Optionally, an -*optimistic* constant propagation (an extended SCCP) can be run to type more +partially as the program parses, and shortly thereafter. Optionally, an +*optimistic* constant propagation (SCCP) can be run to type more programs than the *pessimistic* approach alone. -These discussion relies on the program being in SSA form, which I assume the +This discussion relies on the program being in SSA form, which I assume the reader is familiar with, and is commonly used in *constant propagation* because it allows the algorithm to be *sparse* without effort. Also, all three compilers use the Sea-of-Nodes representation which is only relevant here -- cgit v1.2.3