diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-02-02 09:59:40 -0800 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-02-02 09:59:40 -0800 |
| commit | b2566a847948ba808d4ca93d02bcc62ee6487255 (patch) | |
| tree | d5c983969695b271b4821d90f0354af317d76891 /html/031address.cc.html | |
| parent | 67d2a9c07dea2f100f526cf6cd0831b544cd73fa (diff) | |
| download | mu-b2566a847948ba808d4ca93d02bcc62ee6487255.tar.gz | |
2625
Diffstat (limited to 'html/031address.cc.html')
| -rw-r--r-- | html/031address.cc.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/html/031address.cc.html b/html/031address.cc.html index e039b331..a2da3614 100644 --- a/html/031address.cc.html +++ b/html/031address.cc.html @@ -106,9 +106,9 @@ recipe foo [ ] <span class="Comment"># don't crash</span> -<span class="Delimiter">:(after "bool types_strictly_match(reagent lhs, reagent rhs)")</span> - if <span class="Delimiter">(</span>!canonize_type<span class="Delimiter">(</span>lhs<span class="Delimiter">))</span> <span class="Identifier">return</span> <span class="Constant">false</span><span class="Delimiter">;</span> - if <span class="Delimiter">(</span>!canonize_type<span class="Delimiter">(</span>rhs<span class="Delimiter">))</span> <span class="Identifier">return</span> <span class="Constant">false</span><span class="Delimiter">;</span> +<span class="Delimiter">:(after "bool types_strictly_match(reagent to, reagent from)")</span> + if <span class="Delimiter">(</span>!canonize_type<span class="Delimiter">(</span>to<span class="Delimiter">))</span> <span class="Identifier">return</span> <span class="Constant">false</span><span class="Delimiter">;</span> + if <span class="Delimiter">(</span>!canonize_type<span class="Delimiter">(</span>from<span class="Delimiter">))</span> <span class="Identifier">return</span> <span class="Constant">false</span><span class="Delimiter">;</span> <span class="Delimiter">:(after "bool is_mu_array(reagent r)")</span> if <span class="Delimiter">(</span>!canonize_type<span class="Delimiter">(</span>r<span class="Delimiter">))</span> <span class="Identifier">return</span> <span class="Constant">false</span><span class="Delimiter">;</span> |