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
On 03/08/2012 05:05 PM, Serge D. Mechveliani wrote:
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.
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
