[BUG][FIX] Re: Running your tests for Arrows

Brian Rice water@tunes.org
Sat Mar 23 17:04:16 2002


<!x-stuff-for-pete id="0">
<!doctype html public "-//W3C//DTD W3 HTML//EN">
<html><head><style type="text/css"><!--
blockquote, dl, ul, ol, li { margin-top: 0 ; margin-bottom: 0 }
 --></style><title>Re: [BUG][FIX] Re: Running your tests for
Arrows</title></head><body>
<blockquote type="cite" cite><font size="-1">Hi Brian. I loaded the
last changeset and now</font></blockquote>
<blockquote type="cite" cite><font size="-1">everything works, AFAIK.
Here are the results</font></blockquote>
<blockquote type="cite" cite><font size="-1">from the last rows of the
test file.</font></blockquote>
<div><br></div>
<div>Thanks, but the most important thing you can try to do with this
code is to read it and especially the comments, to try to get a feel
for what it's intended to do.</div>
<div><br></div>
<blockquote type="cite" cite><font size="-1">e _ InductionGraph
new.<br>
f _ e anyOne.</font></blockquote>
<blockquote type="cite" cite><font size="-1">Result: e is what should
be, f is an arrow without</font></blockquote>
<blockquote type="cite" cite><font size="-1">a name, whose head and
tail&nbsp;are an arrow called</font></blockquote>
<blockquote type="cite" cite><font size="-1">'0' (whose head and tail
are, in turn,&nbsp;the integer 0).</font></blockquote>
<blockquote type="cite" cite>&nbsp;</blockquote>
<blockquote type="cite" cite><font size="-1">e treatsAsVariable: e
graph anyOne.</font></blockquote>
<blockquote type="cite" cite><font size="-1">Result: false (not
mangled inside e to check</font></blockquote>
<blockquote type="cite" cite><font size="-1">for eventual side
effects)</font><br>
<font size="-1"></font></blockquote>
<blockquote type="cite" cite><font size="-1">e fromNatural: 4<br>
Result: an arrow whose name is '4' and whose</font></blockquote>
<blockquote type="cite" cite><font size="-1">head and tail are, again,
the integer 0.&nbsp;Again, no</font></blockquote>
<blockquote type="cite" cite><font size="-1">idea&nbsp;whether
something happened&nbsp;inside e.</font></blockquote>
<div><br></div>
<div>What's supposed to happen is that all the arrows for 1, 2, and 3
are supposed to be created and linked together over monoid's arrows
appropriately, so that you can do simple counting up and down. I'll
write this up for the next release.</div>
<div><br></div>
<blockquote type="cite" cite><font size="-1">Hope that all this means
that the last tests have</font></blockquote>
<blockquote type="cite" cite><font size="-1">been
passed...</font></blockquote>
<div><br>
Last tests!?! :)</div>
<div>Hell, those were just the demo tests. I have a much larger set of
things it's supposed to do and is nowhere near ready to accomplish ;)
Just look at all the non-functional code in the SmalltalkMOP category.
And of course there's the infamous equational semantics.</div>
<div><br></div>
<blockquote type="cite" cite>&gt;If you want something like Arrows but
more database-like,</blockquote>
<blockquote type="cite" cite>&gt;look up the Pointrel data repository
in the Squeak archives.</blockquote>
<blockquote type="cite" cite>&nbsp;</blockquote>
<blockquote type="cite" cite><font size="-1">Thanks, I will look
there.</font></blockquote>
<blockquote type="cite" cite>&nbsp;</blockquote>
<blockquote type="cite" cite><font size="-1">Pietro</font>
</blockquote>
<div><br></div>
<div>~</div>
</body>
</html>