Waldek Hebisch <[email protected]> writes: >> I do not understand what this means "can be used just after >> definition". What specifically did not work in 1.0.6? >> > > Create a file like: > > )abbrev category NTYPE NType > NType(): Category == with > foo : % -> % > bar : % -> % > add > foo(x) == x > > )abbrev domain NTD NTDoamin > NTDoamin(): NType == add > bar(x) == x > > and compile it.
shoul be an input file, analogous to bugs2008-ExportType.spad, and a test in bugs2009, I guess? > No, I mean domain which is parameter of a function or a local > variable (as opposed to parameter to constructors or global > variables). For example: > > bar(x : Type) : Integer == > x is Integer => 1 > 0 > > Note: currently it is not possible to use such functions from > interpreter, they only work in Spad code. both should also be tested (in i-bugs2009 and bugs2009), I'd say... No time. Martin --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en -~----------~----~----~----~------~----~------~--~---
