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 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 <Iterable<b>>lazy(Lazy<Iterable<b>>) of type > Thunk is not applicable for the arguments (Iterable<capture#1-of ? extends > PropertyState>) > > * Option 2 (my original try) > native getProperties :: Mutable s Tree -> ST s (Iterable (Mutable s > PropertyState)) > with error > -The parameterized method > <Iterable<PropertyState>>lazy(Lazy<Iterable<PropertyState>>) of type Thunk > is not applicable for the arguments > (Iterable<capture#1-of ? extends PropertyState>) > Option 2 was actually what I wanted to attach to my original email, but I > had a copy/pasta error in frege my code snippet (tried too many things I > guess). > > best, > alex > > > > On Sun, Oct 21, 2018 at 12:05 PM Ingo W. <ingo.wechs...@gmail.com> wrote: > >> 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). >> >> >> Am Samstag, 20. Oktober 2018 15:39:39 UTC+2 schrieb Alex Deparvu: >>> >>> Hi, >>> >>> I'm trying to define a native binding for a java method, and can't >>> figure it out. >>> >>> The method is >>> Iterable<? extends PropertyState> getProperties(); >>> >>> I initially thought of this version: >>> native getProperties :: Mutable s Tree -> ST s (Iterable (Mutable s >>> b)) >>> >>> but the '? extends PropertyState' seems to break things, the error I get >>> is: >>> The parameterized method <Iterable<b>>lazy(Lazy<Iterable<b>>) of >>> type Thunk is not applicable for the arguments (Iterable<capture#1-of ? >>> extends PropertyState>) >>> >>> I even tried the 'frege-native-gen' project, but that didn't came op >>> with better candidates. >>> >>> Can anyone suggest a better way? >>> Followup question, I thought I read somewhere that using '[]' for java >>> 'Iterable' return types is possible, but I couldn't figure that one out >>> (even for simpler examples). >>> >>> thanks a lot, >>> alex >>> >> -- >> You received this message because you are subscribed to the Google Groups >> "Frege Programming Language" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to frege-programming-language+unsubscr...@googlegroups.com. >> For more options, visit https://groups.google.com/d/optout. >> > -- You received this message because you are subscribed to the Google Groups "Frege Programming Language" group. To unsubscribe from this group and stop receiving emails from it, send an email to frege-programming-language+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
