From 987232b0b7787c992e4118fc5a46f1280f71bc3f Mon Sep 17 00:00:00 2001 From: Walter Smuts Date: Thu, 31 Aug 2023 08:34:19 +0200 Subject: [PATCH] Manually fix projeciton -> projection I happen to stumble upon this one that `typos` didn't catch. I've logged it on: https://github.com/crate-ci/typos/issues/784 --- Docs/Subscripts.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Docs/Subscripts.md b/Docs/Subscripts.md index 36490cb0f..eefecf830 100644 --- a/Docs/Subscripts.md +++ b/Docs/Subscripts.md @@ -133,7 +133,7 @@ These two restrictions serve two goals: 1. Guarantee that continuations cannot break control flow and cannot. 2. Handle overlapping projections that do not nest. -One over-approximation of a continuation's scope is the dominance frontier of the basic block in which the projection starts, excluding the instructions before the start of the projeciton. +One over-approximation of a continuation's scope is the dominance frontier of the basic block in which the projection starts, excluding the instructions before the start of the projection. In the above example, the continuation associated with `t` would contain all instructions in `loop.body` after the definition of `%t`. Using dominance frontiers also obviates the difficulty to identify definitions may escape a continuation.