On 15/09/16 19:49, Waldek Hebisch wrote:
Martin Baker wrote:
Minor code changes to computation.spad
1) Change sayMsg to print.
2) Improve OutputForm, don't use string.
3) implement CoercibleTo(OutputForm).
I see that you have a lot of code like:
If you want to print string without quotes use 'message':
gives you desired OutputForm. For nonconstant strings
this is more efficient and in all cases is clearer
than going via symbols.
OK, I have done that.
Updated file is here:
and patch is here:
This compiles and works so, as far as I can tell, its ready to go. There
is just one thing that I'm curious about. I now have lot of lines like this:
print(message "warning I does not have a parameter to act on")
This generates a compiler error like this:
compiling exported coerce : SKICombinators UT -> ILogic
****** comp fails at level 11 with expression: ******
error in function coerce
****** level 11 ******
$x:= (message warning I does not have a parameter to act on)
((((#:G6598 # #) (#:G6601 # #) (|s| # #) (|lambdaOverSki| #))
((|lambdaOverSki| #) (= #) (I #) (K #) ...)
((|Ski2Lambda| #) (= #) (|atom?| #) (|bind| #) ...)))
>> Apparent user error:
is an unknown mode
I assume this is because there are 2 print functions with the same
signature (although the error message gives no clue to this).
So I changed the line to:
print(message "warning I does not have a parameter to act on")$OutputForm
and this makes the error go away.
The interesting thing is, I only have to do this once (see line 2794 in
code) and then all other similar functions compile without specifying
domain. Its like I only have to tell the compiler which version of
'print' to use once and it then uses the same for all future 'print' calls.
So, my questions are:
1) Are my suppositions correct?
2) If so, is it safe to rely on it?
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.