> I find this very interesting. I wonder what would be involved in
> implementing continuations to exploit GCL's multiprocessing
> capabilities
There have been discussions, some of which are on this list, about using
provisos mapped to multiple processors. Consider an expression that
says somethin
[EMAIL PROTECTED] writes:
> Ralf, Stephen,
>
> I think you'll find this book very interesting. Aside from the
> subject matter it also clearly illustrates a style worth copying,
> at least in my opinion. He gives the complete source code for a
> lisp implementation along with a perfectly readable
Ralf, Stephen,
I think you'll find this book very interesting. Aside from the
subject matter it also clearly illustrates a style worth copying,
at least in my opinion. He gives the complete source code for a
lisp implementation along with a perfectly readable explanation
of all of the issues. I th
Tim,
A further update:
My initial experiment appears to work, but it may not be the proper
fix (build still pending, at layer 20 ATM).
This is my analysis thus far. I belive I have come to a decent theory
as to how this issue can be solved. Please bear with me as I try to
explain.
In buildom.
Ralf,
> ... Maybe some people think that it is completely clear
> to everyone on the list what it means to "send a diff -Naur patch"
1) Take a file, say integer.spad.pamphlet
2) Edit the file and save the changed file as integer.spad.pamphlet.ralf
3) diff -Naur integer.spad.pamphlet integer.spad.
[EMAIL PROTECTED] writes:
> I've identified 592 potential places where this could occur.
> Obviously it does not happen everywhere. I'm reviewing each
> code sequence to try to find the nature of the failure.
> After that I'll look into the compiler.
Im looking at a possible solution, but I am wa
Dear Tim,
very professionally did you quote Martin. Do you also see that the whole
discussion involves emotions even if you never wanted them involved?
It is not about being right or wrong. We know that different people on
this list have different goals. Cannot we just accept that and go on i
On 07/07/2007 10:52 PM, Weiss, Juergen wrote:
Tim,
in my opinion the Axiom community consists of the people
interested in Axiom as users or developers and taking part
in the discussions on the Axiom-developer mailing list.
Their goals are certainly quite diverse. It is a gross
error to equate th
Hi,
I must say, I don't like all this discussion about patches sent to the
list or not. It is not about agreeing or not agreeing to the Axiom
project goals. (BTW, what is the right way to come from
http://www.axiom-developer.org to a page that describes these goals?)
Note that it took so lon
I've identified 592 potential places where this could occur.
Obviously it does not happen everywhere. I'm reviewing each
code sequence to try to find the nature of the failure.
After that I'll look into the compiler.
Tim
___
Axiom-developer mailing lis
Having spend nearly 2 hours drafting a reply I've erased it.
Each of these replies takes hours to draft and craft.
I've tried to make the dirt-obvious point about diff-Naur patching.
Either you get it or you don't. I give up. Contribute. Don't
contribute. Do whatever you like. Believe whatever y
[EMAIL PROTECTED] writes:
> Martin,
>
> > This is simply not true, unless you don't consider myself as part of the
> > community. In that case, I'll stop contributing to "your" axoim project
> > today.
>
> > I find it quite strange that you identify your goals with the goals of the
> > axiom com
> Define contribute. As I defined contribute, which I believe is the
> common open source understanding, it involves creating patches
> against the main line of work and publishing them. Show me patches.
> I asked for a changeset for hyperdoc so the trunk would be fixed.
> I see no changeset posted
Tim,
in my opinion the Axiom community consists of the people
interested in Axiom as users or developers and taking part
in the discussions on the Axiom-developer mailing list.
Their goals are certainly quite diverse. It is a gross
error to equate their goals with your goals which you described
se
Camm Maguire writes:
> Greetings! OK, the bsd issues are almost ironed out.
>
> GCL has made extensive use of unboxed complex arithmetic. Does BSD
> have this function somewhere?
>
> Error: ERROR "dlsym lookup failure on \"cexpf\": \"Undefined symbol
> \\\"cexpf\\\"\"" Fast links are on: do (si::
Greetings! OK, though not fully tested yet, I think bsd will build
now. I've taken out the fast libc functions in mnum as freebsd does
not seem yet to support the c99 complex math function spec. Perhaps
we could detect this with configure. The conditional is #+c99.
Please let me know if proble
Martin,
> This is simply not true, unless you don't consider myself as part of the
> community. In that case, I'll stop contributing to "your" axoim project
> today.
> I find it quite strange that you identify your goals with the goals of the
> axiom community.
You do agree that the Axiom commu
[EMAIL PROTECTED] wrote:
As for space optimization I'm not sure it matters. I can't think of a
case where inlining will happen so many times that space is an issue.
Who writes a function with 50 mapcars? For space optimization it might
be better to throw away the cached sources.
Here is an exa
Matt Kaufmann wrote:
It might be *very* useful to have a user-settable special variable
that controls inlining. I'm imagining that by default, ACL2 would
inline all built-in and user-defined function calls that GCL allows,
but that when one wants to trace, then it would be nice to be able to
re
[EMAIL PROTECTED] writes:
> I'd asked only one thing of anyone who created a fork. I'll ask again.
> Please stop using the name Axiom, anywhere. Your fork does not support
> the goals of the Axiom project or the Axiom community. It supports
> your goals, whatever they may be. Trading on the name o
> Greetings!
>
> 1) 'boot::|NRTassocIndex| (and others) calls elt on dotted lists of
>the form ('|domain| s . s), whereas the spec says elt must take a
>proper list. elt is automatically inlined.
>
> 2) somewhere in boot (by the depsys stage),
>si::universal-error-handler is redefine
21 matches
Mail list logo
