diff options
| author | Kartik Agaram <vc@akkartik.com> | 2020-07-31 16:15:39 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2020-07-31 16:15:39 -0700 |
| commit | 1694f9a3b5b43c2ea871271d77f74ccaa9606edb (patch) | |
| tree | 52c414ce498d44d108a75a3148e16ea093dcfb9e /html | |
| parent | 7fa80570a065353fad6d0698180e583e26a4c19e (diff) | |
| download | mu-1694f9a3b5b43c2ea871271d77f74ccaa9606edb.tar.gz | |
6694
Diffstat (limited to 'html')
| -rw-r--r-- | html/403stream.mu.html | 39 |
1 files changed, 20 insertions, 19 deletions
diff --git a/html/403stream.mu.html b/html/403stream.mu.html index c07d583f..3fd82d2a 100644 --- a/html/403stream.mu.html +++ b/html/403stream.mu.html @@ -82,25 +82,26 @@ if ('onhashchange' in window) { <span id="L24" class="LineNr">24 </span> <span class="PreProc">var</span> y: int <span id="L25" class="LineNr">25 </span> <span class="PreProc">var</span> y2/<span class="Constant">ebx</span>: (addr int) <span class="SpecialChar"><-</span> address y <span id="L26" class="LineNr">26 </span> <a href='309stream.subx.html#L105'>read-from-stream</a> s2, y2 -<span id="L27" class="LineNr">27 </span> <a href='102test.subx.html#L23'>check-ints-equal</a> y, <span class="Constant">0x34</span>, <span class="Constant">"F - test-stream"</span> -<span id="L28" class="LineNr">28 </span> tmp <span class="SpecialChar"><-</span> <a href='309stream.subx.html#L4'>stream-empty?</a> s2 -<span id="L29" class="LineNr">29 </span> <a href='401test.mu.html#L3'>check-true</a> tmp, <span class="Constant">"F - <a href='403stream.mu.html#L3'>test-stream</a>/empty?/2"</span> -<span id="L30" class="LineNr">30 </span> tmp <span class="SpecialChar"><-</span> <a href='309stream.subx.html#L28'>stream-full?</a> s2 -<span id="L31" class="LineNr">31 </span> <a href='401test.mu.html#L8'>check-false</a> tmp, <span class="Constant">"F - <a href='403stream.mu.html#L3'>test-stream</a>/full?/2"</span> -<span id="L32" class="LineNr">32 </span><span class="Delimiter">}</span> -<span id="L33" class="LineNr">33 </span> -<span id="L34" class="LineNr">34 </span><span class="PreProc">fn</span> <span class="muTest"><a href='403stream.mu.html#L34'>test-stream-full</a></span> <span class="Delimiter">{</span> -<span id="L35" class="LineNr">35 </span> <span class="Comment"># write an int to a stream of capacity 1</span> -<span id="L36" class="LineNr">36 </span> <span class="PreProc">var</span> s: (stream int <span class="Constant">1</span>) -<span id="L37" class="LineNr">37 </span> <span class="PreProc">var</span> s2/<span class="Constant">ecx</span>: (addr stream int <span class="Constant">1</span>) <span class="SpecialChar"><-</span> address s -<span id="L38" class="LineNr">38 </span> <span class="PreProc">var</span> tmp/<span class="Constant">eax</span>: boolean <span class="SpecialChar"><-</span> <a href='309stream.subx.html#L28'>stream-full?</a> s2 -<span id="L39" class="LineNr">39 </span> <a href='401test.mu.html#L8'>check-false</a> tmp, <span class="Constant">"F - test-stream-full?/pre"</span> -<span id="L40" class="LineNr">40 </span> <span class="PreProc">var</span> x: int -<span id="L41" class="LineNr">41 </span> <span class="PreProc">var</span> x2/<span class="Constant">edx</span>: (addr int) <span class="SpecialChar"><-</span> address x -<span id="L42" class="LineNr">42 </span> <a href='309stream.subx.html#L52'>write-to-stream</a> s2, x2 -<span id="L43" class="LineNr">43 </span> tmp <span class="SpecialChar"><-</span> <a href='309stream.subx.html#L28'>stream-full?</a> s2 -<span id="L44" class="LineNr">44 </span> <a href='401test.mu.html#L3'>check-true</a> tmp, <span class="Constant">"F - test-stream-full?"</span> -<span id="L45" class="LineNr">45 </span><span class="Delimiter">}</span> +<span id="L27" class="LineNr">27 </span> tmp <span class="SpecialChar"><-</span> <a href='309stream.subx.html#L4'>stream-empty?</a> s2 +<span id="L28" class="LineNr">28 </span> <a href='401test.mu.html#L3'>check-true</a> tmp, <span class="Constant">"F - <a href='403stream.mu.html#L3'>test-stream</a>/empty?/2"</span> +<span id="L29" class="LineNr">29 </span> tmp <span class="SpecialChar"><-</span> <a href='309stream.subx.html#L28'>stream-full?</a> s2 +<span id="L30" class="LineNr">30 </span> <a href='401test.mu.html#L8'>check-false</a> tmp, <span class="Constant">"F - <a href='403stream.mu.html#L3'>test-stream</a>/full?/2"</span> +<span id="L31" class="LineNr">31 </span> <span class="Comment"># we read back what was written</span> +<span id="L32" class="LineNr">32 </span> <a href='102test.subx.html#L23'>check-ints-equal</a> y, <span class="Constant">0x34</span>, <span class="Constant">"F - test-stream"</span> +<span id="L33" class="LineNr">33 </span><span class="Delimiter">}</span> +<span id="L34" class="LineNr">34 </span> +<span id="L35" class="LineNr">35 </span><span class="PreProc">fn</span> <span class="muTest"><a href='403stream.mu.html#L35'>test-stream-full</a></span> <span class="Delimiter">{</span> +<span id="L36" class="LineNr">36 </span> <span class="Comment"># write an int to a stream of capacity 1</span> +<span id="L37" class="LineNr">37 </span> <span class="PreProc">var</span> s: (stream int <span class="Constant">1</span>) +<span id="L38" class="LineNr">38 </span> <span class="PreProc">var</span> s2/<span class="Constant">ecx</span>: (addr stream int <span class="Constant">1</span>) <span class="SpecialChar"><-</span> address s +<span id="L39" class="LineNr">39 </span> <span class="PreProc">var</span> tmp/<span class="Constant">eax</span>: boolean <span class="SpecialChar"><-</span> <a href='309stream.subx.html#L28'>stream-full?</a> s2 +<span id="L40" class="LineNr">40 </span> <a href='401test.mu.html#L8'>check-false</a> tmp, <span class="Constant">"F - test-stream-full?/pre"</span> +<span id="L41" class="LineNr">41 </span> <span class="PreProc">var</span> x: int +<span id="L42" class="LineNr">42 </span> <span class="PreProc">var</span> x2/<span class="Constant">edx</span>: (addr int) <span class="SpecialChar"><-</span> address x +<span id="L43" class="LineNr">43 </span> <a href='309stream.subx.html#L52'>write-to-stream</a> s2, x2 +<span id="L44" class="LineNr">44 </span> tmp <span class="SpecialChar"><-</span> <a href='309stream.subx.html#L28'>stream-full?</a> s2 +<span id="L45" class="LineNr">45 </span> <a href='401test.mu.html#L3'>check-true</a> tmp, <span class="Constant">"F - test-stream-full?"</span> +<span id="L46" class="LineNr">46 </span><span class="Delimiter">}</span> </pre> </body> </html> |