Re: [frege-programming-language] Re: help with java method definition

2018-10-21 Thread Ingo W.
Hi Alex, can you give me a smallest possible example that exhibits the error? Would like to look into this. As I'm seeing only now it will seem that the laziness is somehow the problem, not the bounded Java type variable. Regards, Ingo Am Sonntag, 21. Oktober 2018 19:40:12 UTC+2 schrieb Alex

Re: [frege-programming-language] Re: help with java method definition

2018-10-21 Thread Alex Deparvu
Hi, Thanks for the quick reply! Here's the 2 options, each with its error: * Option 1 native getProperties :: Mutable s Tree -> ST s (Iterable (Mutable s (b extends PropertyState))) with error: -The parameterized method >lazy(Lazy>) of type Thunk is not applicable for the arguments

[frege-programming-language] Re: help with java method definition

2018-10-21 Thread Ingo W.
Hi Alex, please try ... (b extends PropertyState) instead of b. Also, maybe just PropertyState will do the job as well? If so, I would prefer the latter. The automatic conversion of return values to lists is not supported anymore (and did work for arrays only, if I remember correctly).