[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Unions in Spad
From: |
Waldek Hebisch |
Subject: |
Re: [Axiom-developer] Unions in Spad |
Date: |
Mon, 9 Jul 2007 13:40:52 +0200 (CEST) |
Stephen Wilson wrote:
> "Bill Page" <address@hidden> writes:
>
> > On 08 Jul 2007 15:21:52 -0400, Stephen Wilson wrote:
> > > If so, I have a strategy to make such Unions usable (but it may be a
> > > while before I find the time to implement it). If not, then there is
> > > an easy fix to assert the uniformity of Union branches.
> > >
> >
> > I think mixed union constructions should be consider syntax errors.
>
> I personally agree as well. Unfortunately, the current Spad parser
> is, well, difficult to change. I can check the uniformity of Union
> branches at a post-parsing stage to at least get the assertion into
> the system. Perhaps in time my new parser could be used as a full
> replacement for the current one.
>
A little nitpick: if mixed union constructions are considered errors
for me it is clearly a semantic error. I think it is better to catch
such errors on a post-parsing stage. Why this may matter: syntax
errors frequently leave parser in a confused state, making hard to
detect other errors. Also for users is seem easier to have simple
syntax + set of semantic constraints than to encode constraints
in syntax.
--
Waldek Hebisch
address@hidden
- [Axiom-developer] Re: rep, per, Rep in SPAD/Aldor, (continued)
- [Axiom-developer] Re: [Aldor-l] rep, per, Rep in SPAD/Aldor, Christian Aistleitner, 2007/07/14
- Re: [Axiom-developer] Unions in Spad, Ralf Hemmecke, 2007/07/13
- Re: [Axiom-developer] Unions in Spad, Stephen Wilson, 2007/07/13
Re: [Axiom-developer] Unions in Spad, Bill Page, 2007/07/08
Re: [Axiom-developer] Unions in Spad,
Waldek Hebisch <=
Re: [Axiom-developer] Unions in Spad, Bill Page, 2007/07/09
Re: [Axiom-developer] Unions in Spad, Ralf Hemmecke, 2007/07/09
Re: [Axiom-developer] Unions in Spad, Bill Page, 2007/07/09
Re: [Axiom-developer] Unions in Spad, Bill Page, 2007/07/09
Re: [Axiom-developer] Unions in Spad, Ralf Hemmecke, 2007/07/09
Re: [Axiom-developer] Unions in Spad, Bill Page, 2007/07/09
Re: [Axiom-developer] Unions in Spad, Ralf Hemmecke, 2007/07/09
Re: [Axiom-developer] Unions in Spad, Stephen Wilson, 2007/07/11
Re: [Axiom-developer] Unions in Spad, Gabriel Dos Reis, 2007/07/11
Re: [Axiom-developer] Unions in Spad, Stephen Wilson, 2007/07/11