diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2017-03-02 05:50:19 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2017-03-02 05:50:19 -0800 |
commit | e520e7989c207da66130b951d6268d11911b4fcc (patch) | |
tree | 61a6890b232e63370d40b06abab8a73be52723db /html | |
parent | fd7d8138a4ff5515f9b79c584a98d5c26d8ddb8a (diff) | |
download | mu-e520e7989c207da66130b951d6268d11911b4fcc.tar.gz |
3751
Some hacky manual fixes to auto-generated html.
Diffstat (limited to 'html')
-rw-r--r-- | html/001help.cc.html | 4 | ||||
-rw-r--r-- | html/003trace.cc.html | 4 | ||||
-rw-r--r-- | html/075channel.mu.html | 2 | ||||
-rw-r--r-- | html/088file.mu.html | 2 |
4 files changed, 6 insertions, 6 deletions
diff --git a/html/001help.cc.html b/html/001help.cc.html index 61af7f42..8cc034f1 100644 --- a/html/001help.cc.html +++ b/html/001help.cc.html @@ -188,7 +188,7 @@ if ('onhashchange' in window) { <span id="L127" class="LineNr">127 </span><span class="Comment">//: yadda-yadda. Instead use this macro below to perform an unsafe cast to</span> <span id="L128" class="LineNr">128 </span><span class="Comment">//: signed. We'll just give up immediately if a container's ever too large.</span> <span id="L129" class="LineNr">129 </span><span class="Comment">//: Basically, Mu is not concerned about this being a little slower than it</span> -<span id="L130" class="LineNr">130 </span><span class="Comment">//: could be. (<a href="https://gist.github.com/rygorous/e0f055bfb74e3d5f0af20690759de5a7)">https://gist.github.com/rygorous/e0f055bfb74e3d5f0af20690759de5a7)</a></span> +<span id="L130" class="LineNr">130 </span><span class="Comment">//: could be. (<a href="https://gist.github.com/rygorous/e0f055bfb74e3d5f0af20690759de5a7">https://gist.github.com/rygorous/e0f055bfb74e3d5f0af20690759de5a7</a>)</span> <span id="L131" class="LineNr">131 </span><span class="Comment">//:</span> <span id="L132" class="LineNr">132 </span><span class="Comment">//: Addendum to corollary: We're going to uniformly use int everywhere, to</span> <span id="L133" class="LineNr">133 </span><span class="Comment">//: indicate that we're oblivious to number size, and since Clang on 32-bit</span> @@ -200,7 +200,7 @@ if ('onhashchange' in window) { <span id="L139" class="LineNr">139 </span> <span id="L140" class="LineNr">140 </span><span class="Comment">//: 5. Integer overflow is guarded against at runtime using the -ftrapv flag</span> <span id="L141" class="LineNr">141 </span><span class="Comment">//: to the compiler, supported by Clang (GCC version only works sometimes:</span> -<span id="L142" class="LineNr">142 </span><span class="Comment">//: <a href="http://stackoverflow.com/questions/20851061/how-to-make-gcc-ftrapv-work).">http://stackoverflow.com/questions/20851061/how-to-make-gcc-ftrapv-work).</a></span> +<span id="L142" class="LineNr">142 </span><span class="Comment">//: <a href="http://stackoverflow.com/questions/20851061/how-to-make-gcc-ftrapv-work">http://stackoverflow.com/questions/20851061/how-to-make-gcc-ftrapv-work</a>).</span> <span id="L143" class="LineNr">143 </span><span class="Delimiter">:(before "atexit(teardown)")</span> <span id="L144" class="LineNr">144 </span><a href='001help.cc.html#L149'>initialize_signal_handlers</a><span class="Delimiter">();</span> <span class="Comment">// not always necessary, but doesn't hurt</span> <span id="L145" class="LineNr">145 </span><span class="CommentedCode">//? cerr << INT_MAX+1 << '\n'; // test overflow</span> diff --git a/html/003trace.cc.html b/html/003trace.cc.html index b1999eb4..6aadb6cc 100644 --- a/html/003trace.cc.html +++ b/html/003trace.cc.html @@ -104,7 +104,7 @@ if ('onhashchange' in window) { <span id="L45" class="LineNr"> 45 </span><span class="Comment">//:</span> <span id="L46" class="LineNr"> 46 </span><span class="Comment">//: Between layers and domain-driven testing, programming starts to look like a</span> <span id="L47" class="LineNr"> 47 </span><span class="Comment">//: fundamentally different activity. Instead of a) superficial, b) local rules</span> -<span id="L48" class="LineNr"> 48 </span><span class="Comment">//: on c) code [like say <a href="http://blog.bbv.ch/2013/06/05/clean-code-cheat-sheet],">http://blog.bbv.ch/2013/06/05/clean-code-cheat-sheet],</a></span> +<span id="L48" class="LineNr"> 48 </span><span class="Comment">//: on c) code [like say <a href="http://blog.bbv.ch/2013/06/05/clean-code-cheat-sheet">http://blog.bbv.ch/2013/06/05/clean-code-cheat-sheet</a>],</span> <span id="L49" class="LineNr"> 49 </span><span class="Comment">//: we allow programmers to engage with the a) deep, b) global structure of the</span> <span id="L50" class="LineNr"> 50 </span><span class="Comment">//: c) domain. If you can systematically track discontinuities in the domain,</span> <span id="L51" class="LineNr"> 51 </span><span class="Comment">//: you don't care if the code used gotos as long as it passed the tests. If</span> @@ -124,7 +124,7 @@ if ('onhashchange' in window) { <span id="L65" class="LineNr"> 65 </span><span class="Comment">//:</span> <span id="L66" class="LineNr"> 66 </span><span class="Comment">//: "Programming properly should be regarded as an activity by which</span> <span id="L67" class="LineNr"> 67 </span><span class="Comment">//: programmers form a mental model, rather than as production of a program."</span> -<span id="L68" class="LineNr"> 68 </span><span class="Comment">//: -- Peter Naur (<a href="http://alistair.cockburn.us/ASD+book+extract%3A+%22Naur,+Ehn,+Musashi%22)">http://alistair.cockburn.us/ASD+book+extract%3A+%22Naur,+Ehn,+Musashi%22)</a></span> +<span id="L68" class="LineNr"> 68 </span><span class="Comment">//: -- Peter Naur (<a href="http://alistair.cockburn.us/ASD+book+extract%3A+%22Naur,+Ehn,+Musashi%22">http://alistair.cockburn.us/ASD+book+extract%3A+%22Naur,+Ehn,+Musashi%22</a>)</span> <span id="L69" class="LineNr"> 69 </span> <span id="L70" class="LineNr"> 70 </span><span class="Delimiter">:(before "End Types")</span> <span id="L71" class="LineNr"> 71 </span><span class="Normal">struct</span> trace_line <span class="Delimiter">{</span> diff --git a/html/075channel.mu.html b/html/075channel.mu.html index cf0470d3..5c486beb 100644 --- a/html/075channel.mu.html +++ b/html/075channel.mu.html @@ -419,7 +419,7 @@ if ('onhashchange' in window) { <span id="L357" class="LineNr">357 </span>] <span id="L358" class="LineNr">358 </span> <span id="L359" class="LineNr">359 </span><span class="Comment"># A full channel has first-empty just before first-full, wasting one slot.</span> -<span id="L360" class="LineNr">360 </span><span class="Comment"># (Other alternatives: <a href="https://en.wikipedia.org/wiki/Circular_buffer#Full_.2F_Empty_Buffer_Distinction)">https://en.wikipedia.org/wiki/Circular_buffer#Full_.2F_Empty_Buffer_Distinction)</a></span> +<span id="L360" class="LineNr">360 </span><span class="Comment"># (Other alternatives: <a href="https://en.wikipedia.org/wiki/Circular_buffer#Full_.2F_Empty_Buffer_Distinction">https://en.wikipedia.org/wiki/Circular_buffer#Full_.2F_Empty_Buffer_Distinction</a>)</span> <span id="L361" class="LineNr">361 </span><span class="muRecipe">def</span> <a href='075channel.mu.html#L361'>channel-full?</a> chan:&:channel:_elem<span class="muRecipe"> -> </span>result:bool [ <span id="L362" class="LineNr">362 </span> <span class="Constant">local-scope</span> <span id="L363" class="LineNr">363 </span> <span class="Constant">load-ingredients</span> diff --git a/html/088file.mu.html b/html/088file.mu.html index 21df9ccd..6025332d 100644 --- a/html/088file.mu.html +++ b/html/088file.mu.html @@ -202,7 +202,7 @@ if ('onhashchange' in window) { <span id="L143" class="LineNr">143 </span> <span class="Delimiter">}</span> <span id="L144" class="LineNr">144 </span> close sink-file <span id="L145" class="LineNr">145 </span> <span class="Comment"># make sure to wait for the file to be actually written to disk</span> -<span id="L146" class="LineNr">146 </span> <span class="Comment"># (Mu practices structured concurrency: <a href="http://250bpm.com/blog:71)">http://250bpm.com/blog:71)</a></span> +<span id="L146" class="LineNr">146 </span> <span class="Comment"># (Mu practices structured concurrency: <a href="http://250bpm.com/blog:71">http://250bpm.com/blog:71</a>)</span> <span id="L147" class="LineNr">147 </span> wait-for-routine write-routine <span id="L148" class="LineNr">148 </span>] <span id="L149" class="LineNr">149 </span> |