diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-07-20 18:05:56 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-07-20 18:05:56 -0700 |
| commit | e81da299fb49bd79cd460d477ec0bb673035620a (patch) | |
| tree | e4b162be797dcb6d2793a5f7831c6c39bd099a85 /html/047check_type_by_name.cc.html | |
| parent | edfc4cf8ac21a30307cd36bb9cff6a4a8b92dee7 (diff) | |
| download | mu-e81da299fb49bd79cd460d477ec0bb673035620a.tar.gz | |
3117
Diffstat (limited to 'html/047check_type_by_name.cc.html')
| -rw-r--r-- | html/047check_type_by_name.cc.html | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/html/047check_type_by_name.cc.html b/html/047check_type_by_name.cc.html index d1c5bae4..b67e8b36 100644 --- a/html/047check_type_by_name.cc.html +++ b/html/047check_type_by_name.cc.html @@ -105,18 +105,23 @@ def main [ <span class="Normal">x</span>:number<span class="Special"> <- </span>copy <span class="Constant">1</span> <span class="Normal">y</span>:number<span class="Special"> <- </span>add x<span class="Delimiter">,</span> <span class="Constant">1</span> ] +<span class="Comment"># x is in location 1, y in location 2</span> +<span class="traceContains">+mem: storing 2 in location 2</span> <span class="Delimiter">:(scenario transform_fills_in_missing_types_in_product)</span> def main [ <span class="Normal">x</span>:number<span class="Special"> <- </span>copy <span class="Constant">1</span> x<span class="Special"> <- </span>copy <span class="Constant">2</span> ] +<span class="Comment"># x is in location 1</span> +<span class="traceContains">+mem: storing 2 in location 1</span> <span class="Delimiter">:(scenario transform_fills_in_missing_types_in_product_and_ingredient)</span> def main [ <span class="Normal">x</span>:number<span class="Special"> <- </span>copy <span class="Constant">1</span> x<span class="Special"> <- </span>add x<span class="Delimiter">,</span> <span class="Constant">1</span> ] +<span class="Comment"># x is in location 1</span> <span class="traceContains">+mem: storing 2 in location 1</span> <span class="Delimiter">:(scenario transform_fails_on_missing_types_in_first_mention)</span> |