diff options
| -rw-r--r-- | 403stream.mu | 3 | ||||
| -rw-r--r-- | html/403stream.mu.html | 39 |
2 files changed, 22 insertions, 20 deletions
diff --git a/403stream.mu b/403stream.mu index b57700f1..bf4ae883 100644 --- a/403stream.mu +++ b/403stream.mu @@ -24,11 +24,12 @@ fn test-stream { var y: int var y2/ebx: (addr int) <- address y read-from-stream s2, y2 - check-ints-equal y, 0x34, "F - test-stream" tmp <- stream-empty? s2 check-true tmp, "F - test-stream/empty?/2" tmp <- stream-full? s2 check-false tmp, "F - test-stream/full?/2" + # we read back what was written + check-ints-equal y, 0x34, "F - test-stream" } fn test-stream-full { 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> |