On 29/03/18 14:12, oldk1331 wrote:
On Wed, Mar 28, 2018 at 5:43 PM, Martin Baker <ax87...@martinb.com> wrote:
However something looks funny about the patch, do you need both => and
return void()$Void ? is the 'return' redundant? Its been a long time and I
may have forgotten something.
Martin
There's actually a little difference between "return void()$Void" and lack
thereof.
-------
)abbrev package TEST Test
Test() : Exp == Imp where
Exp == with
f1 : Integer -> Void
f2 : Integer -> Void
Imp == add
f1 x ==
x
f2 x ==
void()$Void
-----------
(1) -> f1(3)
Type: Void
(2) -> f1(3) pretend SEX
(2) 3
Type: SExpression
(3) -> f2(3)
Type: Void
(4) -> f2(3) pretend SEX
(4) "()"
Type: SExpression
You see, without explicity a "return void()$Void", some
other value may be returned, but again, there's nothing
interesting to do with a value of Void type.
Yes I know void()$Void is needed but is 'return'?
Martin
--
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 https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
