Hi Alex, please give me a bit of time. I've been travelling last week for business, and will also be travelling next week. I've no idea whether I can make it over the weekend, so .... but I won't forget it.
Best regards, Ingo Am Dienstag, 23. Oktober 2018 08:47:40 UTC+2 schrieb Alex Deparvu: > > 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.
