Hi Ingo, Thank you for taking a look at this! Here's a very reduced version [0], I was not sure if you use maven or not. let me know if this doesn't work so I can find a different approach.
For the sake of completeness the error I get now is [1]: frege-test-javaiterables/target/generated-sources/frege/org/example/Components.java:[120,27] no suitable method found for lazy(java.lang.Iterable<capture#1 of ? extends org.example.Property>) best, alex [0] https://github.com/stillalex/frege-test-javaiterables [1] [ERROR] Failed to execute goal org.apache.maven.plugins:maven-compiler-plugin:3.1:compile (default-compile) on project com.pfalabs.frege-test-javaiterables: Compilation failure [ERROR] frege-test-javaiterables/target/generated-sources/frege/org/example/Components.java:[120,27] no suitable method found for lazy(java.lang.Iterable<capture#1 of ? extends org.example.Property>) [ERROR] method frege.run8.Thunk.lazy(boolean) is not applicable [ERROR] (argument mismatch; java.lang.Iterable<capture#1 of ? extends org.example.Property> cannot be converted to boolean) [ERROR] method frege.run8.Thunk.lazy(byte) is not applicable [ERROR] (argument mismatch; java.lang.Iterable<capture#1 of ? extends org.example.Property> cannot be converted to byte) [ERROR] method frege.run8.Thunk.lazy(short) is not applicable [ERROR] (argument mismatch; java.lang.Iterable<capture#1 of ? extends org.example.Property> cannot be converted to short) [ERROR] method frege.run8.Thunk.lazy(char) is not applicable [ERROR] (argument mismatch; java.lang.Iterable<capture#1 of ? extends org.example.Property> cannot be converted to char) [ERROR] method frege.run8.Thunk.lazy(int) is not applicable [ERROR] (argument mismatch; java.lang.Iterable<capture#1 of ? extends org.example.Property> cannot be converted to int) [ERROR] method frege.run8.Thunk.lazy(long) is not applicable [ERROR] (argument mismatch; java.lang.Iterable<capture#1 of ? extends org.example.Property> cannot be converted to long) [ERROR] method frege.run8.Thunk.lazy(double) is not applicable [ERROR] (argument mismatch; java.lang.Iterable<capture#1 of ? extends org.example.Property> cannot be converted to double) [ERROR] method frege.run8.Thunk.lazy(float) is not applicable [ERROR] (argument mismatch; java.lang.Iterable<capture#1 of ? extends org.example.Property> cannot be converted to float) [ERROR] method frege.run8.Thunk.<X>lazy(frege.run8.Lazy<X>) is not applicable [ERROR] (argument mismatch; java.lang.Iterable<capture#1 of ? extends org.example.Property> cannot be converted to frege.run8.Lazy<java.lang.Iterable<𝓑>>) [ERROR] method frege.run8.Thunk.<X>lazy(X) is not applicable [ERROR] (argument mismatch; java.lang.Iterable<capture#1 of ? extends org.example.Property> cannot be converted to java.lang.Iterable<𝓑>) -- 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.