On Sun, 12 Aug 2007, Weiss, Juergen wrote:
| I just compiled some algebra (INTALG.spad) with tracing
| for pmatch and pmatchWithSl. I do not know if this file
| is exemplary - but I never got any non nil return values
| with the old and the new version of the functions.
|
| So any change to those
> -Original Message-
> From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED]
> Sent: Sunday, August 12, 2007 4:03 PM
> To: Weiss, Juergen
> Cc: axiom-developer@nongnu.org
> Subject: Re: [Axiom-developer] A curious algebra failure
>
> Gabriel Dos Reis <[EMAIL PROTECTED]> writ
Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
[...]
| | By the way, I think the line must read
| |
| | v:= ASSOC(p,al) => s=rest v and al
| |
| |
| | this makes much more sense logically and should typecheck with
| | the pmatch(s,p) == pmatchWithSl(s,p,[ni
On Sun, 12 Aug 2007, Bill Page wrote:
| On 8/12/07, Weiss, Juergen wrote:
| >
| > The file patches.lisp in the scratchpad sources from 1990 contained the
| > following line:
| >
| > (defun |pmatch| (s p) (|pmatchWithSl| s p '(ok))) ;assoc with atom at
| > eol
| >
| > to override the definition in
"Weiss, Juergen" <[EMAIL PROTECTED]> writes:
| Hi,
|
| The file patches.lisp in the scratchpad sources from 1990 contained the
| following line:
|
| (defun |pmatch| (s p) (|pmatchWithSl| s p '(ok))) ;assoc with atom at
| eol
|
| to override the definition in c-util.boot.
|
| Seems that pmatchW
Martin Rubey <[EMAIL PROTECTED]> writes:
| Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
|
| > As you suggested, I suspect it should have been written like
| >
| > if S has SetCategory and S has "*"
| >
| > The trouble is that we don't want to test just for the name "*". We
| > want to tes
On Sun, 12 Aug 2007, Bill Page wrote:
| On 8/12/07, Gabriel Dos Reis <[EMAIL PROTECTED]> wrote:
| > On Sat, 11 Aug 2007, Bill Page wrote:
| > | ...
| > | Unnamed categories are just values of type Category.
| >
| > But, that is not what Axiom Book says, section 12.12, page 525:
| >
| >The part
On 8/12/07, Gabriel Dos Reis <[EMAIL PROTECTED]> wrote:
> On Sat, 11 Aug 2007, Bill Page wrote:
> | ...
> | Unnamed categories are just values of type Category.
>
> But, that is not what Axiom Book says, section 12.12, page 525:
>
>The part of a category to the right of a with is also regarded
On 8/12/07, Weiss, Juergen wrote:
>
> The file patches.lisp in the scratchpad sources from 1990 contained the
> following line:
>
> (defun |pmatch| (s p) (|pmatchWithSl| s p '(ok))) ;assoc with atom at
> eol
>
> to override the definition in c-util.boot.
>
This reminds me to ask/suggest that the c
ent: Sunday, August 12, 2007 12:52 AM
> To: axiom-developer@nongnu.org
> Subject: [Axiom-developer] A curious algebra failure
>
>
> Hi,
>
> This issue pops up while looking at a type error in
> src/interp/c-util.boot.
>
> 1. The type error
>
> Con
Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
> As you suggested, I suspect it should have been written like
>
> if S has SetCategory and S has "*"
>
> The trouble is that we don't want to test just for the name "*". We
> want to test for the signature
>
> "*":(%, %) ->
On Sat, 11 Aug 2007, Bill Page wrote:
| Correction:
|
| On 8/11/07, I wrote:
| >...
| > This statement in the Axiom book should really say:
| >
| > "domains belong to *named* categories by assertions"
| >
| > This does apply to anonymous categories.
| >
|
| I meant to write:
|
| This does *no
On Sat, 11 Aug 2007, Stephen Wilson wrote:
| In other words, an anonymous category can capture both a nominal
| assertion (the named categories on the lhs), and a structural
| assertion (the lhs exports). For example:
|
|C (S : with foo : () -> %) : Category == with ...
|
| Here, S will mat
On Sat, 11 Aug 2007, Bill Page wrote:
| On 8/11/07, Gabriel Dos Reis wrote:
| > On Sat, 11 Aug 2007, Stephen Wilson wrote:
| >
| > | Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
| > |
| > | > On Sat, 11 Aug 2007, Stephen Wilson wrote:
| > | >
| > | > | Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
Correction:
On 8/11/07, I wrote:
>...
> This statement in the Axiom book should really say:
>
> "domains belong to *named* categories by assertions"
>
> This does apply to anonymous categories.
>
I meant to write:
This does *not* apply to anonymous categories.
> ...
Regards,
Bill Page.
___
On 8/11/07, Gabriel Dos Reis wrote:
> On Sat, 11 Aug 2007, Stephen Wilson wrote:
>
> | Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
> |
> | > On Sat, 11 Aug 2007, Stephen Wilson wrote:
> | >
> | > | Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
> | > | > | Here, % certainly satisfies the conditions
Stephen Wilson <[EMAIL PROTECTED]> writes:
> In other words, an anonymous category can capture both a nominal
> assertion (the named categories on the lhs), and a structural
> assertion (the lhs exports). For example:
^^^
Sorry. That should be `the rhs exports'.
Steve
Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
[...]
> | Right. What I am saying is that in the type context
> |
> | S : SetCategory with "*": (%, %) -> %
> |
> | when % denotes MONAD, the category of % (its `principle category' as I
> | called it, since in the general case it is anonymous), s
On Sat, 11 Aug 2007, Stephen Wilson wrote:
| Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
|
| > On Sat, 11 Aug 2007, Stephen Wilson wrote:
| >
| > | Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
| > | > | Here, % certainly satisfies the conditions on the parameter type:
| > | > |
| > | > |Se
Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
> On Sat, 11 Aug 2007, Stephen Wilson wrote:
>
> | Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
> | > | Here, % certainly satisfies the conditions on the parameter type:
> | > |
> | > |SetCategory with "*": (%,%)->%
> | >
> | > I don't think it d
Stephen Wilson <[EMAIL PROTECTED]> writes:
[...]
| However, I have seen is kind of code in both Spad and Aldor a fair
| bit. I have always thought of `anonymous' category expressions
| matching structurally as well as nominally.
OK, I got the reference I was looking for: See on the discussion
On Sat, 11 Aug 2007, Stephen Wilson wrote:
| Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
| > | Here, % certainly satisfies the conditions on the parameter type:
| > |
| > |SetCategory with "*": (%,%)->%
| >
| > I don't think it does, in the sense of Spad.
| > I believe two unnamed categorie
Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
> | Here, % certainly satisfies the conditions on the parameter type:
> |
> |SetCategory with "*": (%,%)->%
>
> I don't think it does, in the sense of Spad.
> I believe two unnamed categories define distinct categories irrespective of
> their bodie
On Sat, 11 Aug 2007, Stephen Wilson wrote:
| Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
| > Your suggestion is correct, but the build still fails at the same
| > point. Looking at the call to expt(x,n) in the Spad code I don't
| > immediatelt see why it should be well-formed. Do you see why i
Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
> Your suggestion is correct, but the build still fails at the same
> point. Looking at the call to expt(x,n) in the Spad code I don't
> immediatelt see why it should be well-formed. Do you see why it is
> OK?
Given:
"**": (%,PositiveInteger) ->
Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
| On Sat, 11 Aug 2007, Stephen Wilson wrote:
|
| | From: Stephen Wilson <[EMAIL PROTECTED]>
| | Date: 11 Aug 2007 19:52:56 -0400
| | In-Reply-To: <[EMAIL PROTECTED]>
| | Message-ID: <[EMAIL PROTECTED]>
| | Lines: 26
| | User-Agent: Gnus/5.09 (Gnus v5.9
On Sat, 11 Aug 2007, Stephen Wilson wrote:
| From: Stephen Wilson <[EMAIL PROTECTED]>
| Date: 11 Aug 2007 19:52:56 -0400
| In-Reply-To: <[EMAIL PROTECTED]>
| Message-ID: <[EMAIL PROTECTED]>
| Lines: 26
| User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4
| MIME-Version: 1.0
| Content-Type: text/plain;
From: Stephen Wilson <[EMAIL PROTECTED]>
Date: 11 Aug 2007 19:52:56 -0400
In-Reply-To: <[EMAIL PROTECTED]>
Message-ID: <[EMAIL PROTECTED]>
Lines: 26
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
--text follows this line--
Gabriel Dos Rei
Hi,
This issue pops up while looking at a type error in
src/interp/c-util.boot.
1. The type error
Consider the function pmatch() from c-util.boot
pmatch(s,p) == pmatchWithSl(s,p,"ok")
That function is essentially called by the compiler to check
whether an express
29 matches
Mail list logo
