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'm just guessing here. On Sun, Nov 22, 2015 at 8:35 PM, Martin Baker <ax87...@martinb.com> wrote: > 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 unknown mode > > in 'OutErr2' and 'OutErr3' below I am getting: > > >> Apparent user error: > Cannot coerce abc > of mode abc > to mode (Any) > > but whatever I do I can't get it to compile (am I doing something silly?). > I am using FriCAS 1.2.7 x86_64 binary. > > Martin > > -------------------------------------------------- > )abbrev domain OERR1 OutErr1 > OutErr1() : Exports == Impl where > Exports ==> with > myFn : (Boolean) -> Boolean > Impl ==> add > Rep := Boolean > myFn(inp:Boolean)== > outputList(["abc",1])@Void > inp > > )abbrev domain OERR2 OutErr2 > OutErr2() : Exports == Impl where > Exports ==> with > myFn : (Boolean) -> Boolean > Impl ==> add > Rep := Boolean > myFn(inp:Boolean)== > outputList(["abc",1])$OutputPackage > inp > > )abbrev domain OERR3 OutErr3 > OutErr3() : Exports == Impl where > Exports ==> with > myFn : (Boolean) -> Boolean > Impl ==> add > Rep := Boolean > myFn(inp:Boolean)== > outputList(["abc",1])$OutputPackage@Void > inp > > > -- > 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 fricas-devel+unsubscr...@googlegroups.com. > To post to this group, send email to fricas-devel@googlegroups.com. > Visit this group at http://groups.google.com/group/fricas-devel. > For more options, visit https://groups.google.com/d/optout. > -- [image: http://www.facebook.com/alasdair.mcandrew] <http://www.facebook.com/alasdair.mcandrew> [image: https://plus.google.com/+AlasdairMcAndrew/posts] <https://plus.google.com/+AlasdairMcAndrew/posts> [image: https://www.linkedin.com/pub/alasdair-mcandrew/a/178/108] <https://www.linkedin.com/pub/alasdair-mcandrew/a/178/108> [image: https://twitter.com/amca01] <https://twitter.com/amca01> [image: http://numbersandshapes.net] <http://numbersandshapes.net> -- 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 fricas-devel+unsubscr...@googlegroups.com. To post to this group, send email to fricas-devel@googlegroups.com. Visit this group at http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
