Product vs Record

[Serge D. Mechveliani]

There is something strange in the compiler reports about

Product(DomainConstruction, SetCategory)

(and similar pairs).
When it is Record(dCons : DomainConstruction, dDom : SetCategory),
then it works.
When I change to a simpler type of
Product(DomainConstruction, SetCategory),

the compiler reports the things like

compiling exported
parseDomain : List String ->
Product(Product(DomainConstruction,SetCategory),List String)
>> System error:
The value |SetCategory| is not of type LIST.

It always tends to put LIST for the second component.
Product is simpler than Record, but I fear of it all these two months.

Regards,

------
Sergei
mec...@botik.ru

[Bill Page]

Contrary. Product is much more complicated than Record.

Regards,
Bill Page.

On Thu, Mar 8, 2012 at 11:05 AM, Serge D. Mechveliani <mec...@botik.ru> wrote:
...
> Product  is simpler than Record

[Ralf Hemmecke]

Hi Sergei,

can I ask you a favour? Please include in your requests a short program
that (when compiling) demonstrates your problem.
Or maybe open up a Sandbox on http://axiom-wiki.newsynthesis.org/ . For
example, just create

http://axiom-wiki.newsynthesis.org/SandboxSergei

and put your example code inside

\begin{axiom}

\end{axiom}

after saving, it will automatically compile your program and show the
respective error message. As long as it is not an error that is specific
to FriCAS 1.1.6, the AxiomWiki should be good enough for demonstration.

Ralf

[Serge D. Mechveliani]

On Thu, Mar 08, 2012 at 06:28:06PM +0100, Ralf Hemmecke wrote:
> Hi Sergei,
>
> can I ask you a favour? Please include in your requests a short program
> that (when compiling) demonstrates your problem.
>

> [..]

Not this time, please.
I have written this inconcrete report in a hope that, may be, the
developers would guess of the effect.
Sometimes I do this.
I know how to report precisely.
Currently I am tired with this struggle, and this need to advance
-- and let it have its beloved Record!

Regards,

------
Sergei
mec...@botik.ru