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.
