Thank you for this release, especially your work on Todd-Coxeter algorithm.
I am curious about the following error which compiled without error on
This is not a problem (might even be be an advantage) because it forces
me to write:
print (message "value of a is " << a)
print ("value of a is " << a)
There is also a change to runtime, I suspect this may be change in Lisp?
In the last release display of quotes around strings was suppressed in
bash output (even without 'message' function) but not in this release.
As I say, this is not important feel free to ignore, just interested to
know if it was deliberate or due to unpredictability of compiler.
)abbrev domain TESTO TestOut
TestOut() : Exports == Impl where
x<<y ==> hconcat(x::OutputForm, y::OutputForm)
Exports ==> with
testOut:(a:Integer) -> Integer
Impl ==> add
"value of a is " << a
compiling into NRLIB TESTO
compiling exported testOut : Integer -> Integer
****** comp fails at level 3 with expression: ******
error in function testOut
(|hconcat| | << | (|::| "value of a is " (|OutputForm|)) | >> |
(|::| |a| (|OutputForm|)))
(|exit| 1 |a|))
****** level 3 ******
$x:= (:: value of a is (OutputForm))
((((|a| # #) (* #) (+ #) (- #) ...)))
>> Apparent user error:
Cannot coerce value of a is
of mode (String)
to mode (OutputForm)
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
To post to this group, send email to email@example.com.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.