Bill - I have been experimenting with your macro below and it is a great
improvement on what I was doing before so, thank you for that.
Waldek - I am hoping that you might be planning an even better, built-in
implementation? If not, let me know if there is any way I can help.
Thanks,
Martin
Martin,
Sorry that I did not have a change to reply earlier.
In case Waldek's comments really did give you the impression that
"outputList ... can only be used in the interpreter" here is a quick
example:
-- test.spad --
)abbrev package TEST Test
Test() : Exports == Implementation where
Expor
On 22/11/15 15:21, Waldek Hebisch wrote:
"open types" would require change to Spad compiler. Using '<<'
with explicit import is just matter of writing appropriate
package. In principle we could add '<<' to SetCategory or
even to 'CoercibleTo(OutputForm)' (using conditional export
in 'CoercibleT
Martin Baker wrote:
>
> I have a problem with 'outputList'. It works fine in the interpreter:
>
> (1) -> outputList(["abc",1])
> abc1
>
> Type: Void
>
> but in the compiler I get:
>
> >> Apparent user error:
> Cannot coerce abc
>of mode abc
>to mode (Union (: bound
On 22/11/15 09:57, Alasdair McAndrew wrote:
Ahh, well I just did it in a *.input file, using the interactive
language rather than SPAD. Maybe you need to give the output type of
myFn, as in
myFn(inp:Boolean):Boolean==
outputList(["abc",1])@Void
inp
But I really don't know, as whenever I
Ahh, well I just did it in a *.input file, using the interactive language
rather than SPAD. Maybe you need to give the output type of myFn, as in
myFn(inp:Boolean):Boolean==
outputList(["abc",1])@Void
inp
But I really don't know, as whenever I try and write in SPAD I always get
errors. So I
On 22/11/15 07:45, Alasdair McAndrew wrote:
Try
outputList(["abc",1])@Void
At least, that seemed to work for me.
-Alasdair
Hi Alasdair,
Its still not working for me, in 'OutErr1', listed below, I am getting
the following compile error:
>> Apparent user error:
NoValueMode
is an
Try
outputList(["abc",1])@Void
At least, that seemed to work for me.
-Alasdair
On Fri, Nov 20, 2015 at 5:54 AM, Martin Baker wrote:
> I have a problem with 'outputList'. It works fine in the interpreter:
>
> (1) -> outputList(["abc",1])
>abc1
>
> Type: Void
>
> but in the compiler I get:
I have a problem with 'outputList'. It works fine in the interpreter:
(1) -> outputList(["abc",1])
abc1
Type: Void
but in the compiler I get:
>> Apparent user error:
Cannot coerce abc
of mode abc
to mode (Union (: boundTerm (Record (: varBound
(NonNegativeInteger (: f
On 19/11/15 17:03, Bill Page wrote:
Maybe you want 'outputList', e.g.
Yes, that's exactly what I want, thanks for letting me know about that.
I wish I had known about that a few years ago, it would have saved me a
lot of typing. I did search the library for functions containing 'print'
but,
Maybe you want 'outputList', e.g.
(1) -> a:=3
(1) 3
Type: PositiveInteger
(2) -> b:=3.1
(2) 3.1
Type: Float
(3) -> c:=x+1
(3) x + 1
On 19/11/15 11:17, Ralf Hemmecke wrote:
But I guess, even that is not in your mind.
Maybe you add "B: CoercibleTo(OutputForm)" as a second parameter of the
package. Well, it becomes a bit cumbersome then.
Thanks Ralf,
Yes, I was looking for something simple to use, Instead of writing this:
pr
On 11/19/2015 12:00 PM, Martin Baker wrote:
> print(a:CoercibleTo(OutputForm),b:CoercibleTo(OutputForm)):Void ==
> print hconcat([a::OutputForm,b::OutputForm])$OutputForm
As you can see here
https://github.com/hemmecke/fricas/blob/master-hemmecke/src/algebra//coerce.spad#L9
CoercibleTo(...
Can anyone tell me how to fix the following error generated by the code
at the end of this message?
>> Apparent user error:
Cannot coerce a
of mode (CoercibleTo (OutputForm))
to mode (OutputForm)
I assume this is something to do with compile-time rather than run-time
resoluti
14 matches
Mail list logo
