diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-08-17 19:04:35 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-08-17 19:04:35 -0700 |
| commit | d990e8f07aee36f68bcd270889d20c2d22b9aa0b (patch) | |
| tree | 07a624ea81f2974e1bb038462f4d0607237ea431 /html/035lookup.cc.html | |
| parent | cb159b8c8a888f089676a63273b76b641e860d88 (diff) | |
| download | mu-d990e8f07aee36f68bcd270889d20c2d22b9aa0b.tar.gz | |
3219
Trying keeping html in the master branch: https://github.com/blog/2228-simpler-github-pages-publishing Let's see if https://akkartik.github.io/mu updates after I push this commit to just the master branch.
Diffstat (limited to 'html/035lookup.cc.html')
| -rw-r--r-- | html/035lookup.cc.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/html/035lookup.cc.html b/html/035lookup.cc.html index 49ab32c8..c6fa72cf 100644 --- a/html/035lookup.cc.html +++ b/html/035lookup.cc.html @@ -172,6 +172,8 @@ def main [ <span class="Normal">if</span> <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> <span class="Delimiter">:(before "End Preprocess is_mu_boolean(reagent r)")</span> <span class="Normal">if</span> <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> +<span class="Delimiter">:(before "End Preprocess is_mu_character(reagent r)")</span> +<span class="Normal">if</span> <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> <span class="Delimiter">:(after "Update product While Type-checking Merge")</span> <span class="Normal">if</span> <span class="Delimiter">(</span>!canonize_type<span class="Delimiter">(</span>product<span class="Delimiter">))</span> <span class="Identifier">continue</span><span class="Delimiter">;</span> |