I know at least 2 more people who work on this in some
way. Should you
join efforts?
Uko
On 03 Oct 2015, at 11:24, stepharo
<stepharo(a)free.fr
<mailto:stepharo@free.fr>> wrote:
We should check it again.
Now the language did not change recently so may be some glitches
appeared due to ast changes.
Le 30/9/15 20:28, Peter Uhnak a écrit :
Hi,
Moose/FAMIX uses RoelTyper for type inference, how this does not
seem to be maintained (last version 2013), and for my purposes is
lacking.
So do we have something more advanced, even at the expense of speed?
Other alternative would be to either extend RoelTyper or write
something custom that would be ran alongside RoelTyper.
Examples of such extensions would be extracting the type from
meta-annotations and the actual argument names. (e.g. if an argument
is named aString, I can safely assume that it will be String).
Thanks,
Peter
_______________________________________________
Moose-dev mailing list
Moose-dev(a)iam.unibe.ch
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
_______________________________________________
Moose-dev mailing list
Moose-dev(a)iam.unibe.ch <mailto:Moose-dev@iam.unibe.ch>
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
_______________________________________________
Moose-dev mailing list
Moose-dev(a)iam.unibe.ch