Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Pb with types having more than 9 parameters #28

Closed
gneuvill opened this issue Apr 12, 2017 · 1 comment
Closed

Pb with types having more than 9 parameters #28

gneuvill opened this issue Apr 12, 2017 · 1 comment

Comments

@gneuvill
Copy link
Contributor

gneuvill commented Apr 12, 2017

public interface Try8<A, B, C, D, E, F, G, H, I, Z extends Exception>
        extends __<__9<Try8.µ, A, B, C, D, E, F, G, H, I>, Z> {
    enum µ {}
    
    I f(A a, B b, C c, D d, E e, F f, G g, H h) throws Z;
}

This doesn't work. Got error: org.derive4j.hkt.__ is not the correct interface to use. Given the number of type parameters, fj.function.Try8 should extends org.derive4j.hkt.__10<µ, A, B, C, D, E, F, G, H, I, Z>.

Obviously we don't have __10, but I thought the curried encoding would work...

Related to #14.

@gneuvill
Copy link
Contributor Author

Closing as a duplicate of #14.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant