diff options
Diffstat (limited to 'html/subx/029transforms.cc.html')
| -rw-r--r-- | html/subx/029transforms.cc.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/html/subx/029transforms.cc.html b/html/subx/029transforms.cc.html index 174ba00a..0a9ed032 100644 --- a/html/subx/029transforms.cc.html +++ b/html/subx/029transforms.cc.html @@ -105,10 +105,10 @@ if ('onhashchange' in window) { <span id="L50" class="LineNr">50 </span><span class="Comment">//: representation by showing how it's transformed to the level below. To</span> <span id="L51" class="LineNr">51 </span><span class="Comment">//: make such exceptions more obvious checks usually won't be first-class</span> <span id="L52" class="LineNr">52 </span><span class="Comment">//: transforms; instead code that keeps the program unmodified will run</span> -<span id="L53" class="LineNr">53 </span><span class="Comment">//: within transforms before they mutate the program.</span> +<span id="L53" class="LineNr">53 </span><span class="Comment">//: within transforms before they mutate the program. As an example:</span> <span id="L54" class="LineNr">54 </span><span class="Comment">//:</span> -<span id="L55" class="LineNr">55 </span><span class="Comment">//: Level l transforms programs</span> -<span id="L56" class="LineNr">56 </span><span class="Comment">//: Level l+1 inserts checks to run *before* the transform of level l runs</span> +<span id="L55" class="LineNr">55 </span><span class="Comment">//: Layer l introduces a transform</span> +<span id="L56" class="LineNr">56 </span><span class="Comment">//: Layer l+1 adds precondition checks for the transform</span> <span id="L57" class="LineNr">57 </span><span class="Comment">//:</span> <span id="L58" class="LineNr">58 </span><span class="Comment">//: This may all seem abstract, but will hopefully make sense over time. The</span> <span id="L59" class="LineNr">59 </span><span class="Comment">//: goals are basically to always have a working program after any layer, to</span> |