diff options
Diffstat (limited to 'subx/029transforms.cc')
| -rw-r--r-- | subx/029transforms.cc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/subx/029transforms.cc b/subx/029transforms.cc index 9546ea91..a6e12502 100644 --- a/subx/029transforms.cc +++ b/subx/029transforms.cc @@ -50,10 +50,10 @@ //: representation by showing how it's transformed to the level below. To //: make such exceptions more obvious checks usually won't be first-class //: transforms; instead code that keeps the program unmodified will run -//: within transforms before they mutate the program. +//: within transforms before they mutate the program. As an example: //: -//: Level l transforms programs -//: Level l+1 inserts checks to run *before* the transform of level l runs +//: Layer l introduces a transform +//: Layer l+1 adds precondition checks for the transform //: //: This may all seem abstract, but will hopefully make sense over time. The //: goals are basically to always have a working program after any layer, to |