Skip to content

Instantly share code, notes, and snippets.

@nicball

nicball/coro.java

Created February 26, 2017 09:32
Show Gist options
  • Save nicball/70ecaeaff445b7741832cf632a8473fd to your computer and use it in GitHub Desktop.
Save nicball/70ecaeaff445b7741832cf632a8473fd to your computer and use it in GitHub Desktop.
Download ZIP
Raw
coro.java
Coro.java:39: error: method bind in class State<S#2,T#2> cannot be applied to given types;
return new Coro<>(k -> s.bind(k));
^
required: Function<T#1,State<S#1,U>>
found: Function<T#1,State<Queue<Coro<R,Unit>>,R>>
reason: cannot infer type-variable(s) U
(argument mismatch; Function<T#1,State<Queue<Coro<R,Unit>>,R>> cannot be converted to Function<T#1,State<S#1,U>>)
where T#1,R,S#1,U,T#2,S#2 are type-variables:
T#1 extends Object declared in method <R,T#1,S#1>liftState(State<S#1,T#1>)
R extends Object declared in method <R,T#1,S#1>liftState(State<S#1,T#1>)
S#1 extends Object declared in method <R,T#1,S#1>liftState(State<S#1,T#1>)
U extends Object declared in method <U>bind(Function<T#2,State<S#2,U>>)
T#2 extends Object declared in class State
S#2 extends Object declared in class State
Coro.java:58: error: method putProcs in class Coro<R#2,T> cannot be applied to given types;
return putProcs(procs);
^
required: Queue<Coro<R#1,Unit>>
found: Queue<Coro<?,Unit>>
reason: cannot infer type-variable(s) R#1
(argument mismatch; Queue<Coro<?,Unit>> cannot be converted to Queue<Coro<R#1,Unit>>)
where R#1,R#2,T are type-variables:
R#1 extends Object declared in method <R#1>putProcs(Queue<Coro<R#1,Unit>>)
R#2 extends Object declared in class Coro
T extends Object declared in class Coro
Coro.java:56: error: incompatible types: cannot infer type-variable(s) R
return getProcs.bind(procs -> {
^
(argument mismatch; Queue<Coro<?,Unit>> cannot be converted to Queue<Coro<R,Unit>>)
where R is a type-variable:
R extends Object declared in method <R>putProcs(Queue<Coro<R,Unit>>)
Coro.java:63: error: method callCC in class Coro<R#2,T#2> cannot be applied to given types;
callCC((final Function<Unit, Coro<?, ?>> k) ->
^
required: Function<Function<T#1,Coro<R#1,U>>,Coro<R#1,T#1>>
found: (final Fun[...]ueue)
reason: cannot infer type-variable(s) R#3
(argument mismatch; Coro<CAP#1,CAP#2> cannot be converted to Coro<R#3,Unit>)
where T#1,R#1,U,R#2,T#2,R#3 are type-variables:
T#1 extends Object declared in method <R#1,T#1,U>callCC(Function<Function<T#1,Coro<R#1,U>>,Coro<R#1,T#1>>)
R#1 extends Object declared in method <R#1,T#1,U>callCC(Function<Function<T#1,Coro<R#1,U>>,Coro<R#1,T#1>>)
U extends Object declared in method <R#1,T#1,U>callCC(Function<Function<T#1,Coro<R#1,U>>,Coro<R#1,T#1>>)
R#2 extends Object declared in class Coro
T#2 extends Object declared in class Coro
R#3 extends Object declared in method <R#3>enqueue(Coro<R#3,Unit>)
where CAP#1,CAP#2 are fresh type-variables:
CAP#1 extends Object from capture of ?
CAP#2 extends Object from capture of ?
Coro.java:64: error: method enqueue in class Coro<R#2,T> cannot be applied to given types;
enqueue(k.apply(new Unit())).then(dequeue));
^
required: Coro<R#1,Unit>
found: Coro<CAP#1,CAP#2>
reason: cannot infer type-variable(s) R#1
(argument mismatch; Coro<CAP#1,CAP#2> cannot be converted to Coro<R#1,Unit>)
where R#1,R#2,T are type-variables:
R#1 extends Object declared in method <R#1>enqueue(Coro<R#1,Unit>)
R#2 extends Object declared in class Coro
T extends Object declared in class Coro
where CAP#1,CAP#2 are fresh type-variables:
CAP#1 extends Object from capture of ?
CAP#2 extends Object from capture of ?
Coro.java:67: error: method callCC in class Coro<R#2,T#2> cannot be applied to given types;
return callCC((final Function<Unit, Coro<R, ?>> k) ->
^
required: Function<Function<T#1,Coro<R#1,U>>,Coro<R#1,T#1>>
found: (final Fun[...]ueue)
reason: cannot infer type-variable(s) R#3
(argument mismatch; Coro<R#4,CAP#1> cannot be converted to Coro<R#3,Unit>)
where T#1,R#1,U,R#2,T#2,R#3,R#4 are type-variables:
T#1 extends Object declared in method <R#1,T#1,U>callCC(Function<Function<T#1,Coro<R#1,U>>,Coro<R#1,T#1>>)
R#1 extends Object declared in method <R#1,T#1,U>callCC(Function<Function<T#1,Coro<R#1,U>>,Coro<R#1,T#1>>)
U extends Object declared in method <R#1,T#1,U>callCC(Function<Function<T#1,Coro<R#1,U>>,Coro<R#1,T#1>>)
R#2 extends Object declared in class Coro
T#2 extends Object declared in class Coro
R#3 extends Object declared in method <R#3>enqueue(Coro<R#3,Unit>)
R#4 extends Object declared in method <R#4>spawn(Coro<R#4,Unit>)
where CAP#1 is a fresh type-variable:
CAP#1 extends Object from capture of ?
Coro.java:68: error: method enqueue in class Coro<R#3,T> cannot be applied to given types;
enqueue(k.apply(new Unit())).then(p).then(dequeue));
^
required: Coro<R#1,Unit>
found: Coro<R#2,CAP#1>
reason: cannot infer type-variable(s) R#1
(argument mismatch; Coro<R#2,CAP#1> cannot be converted to Coro<R#1,Unit>)
where R#1,R#2,R#3,T are type-variables:
R#1 extends Object declared in method <R#1>enqueue(Coro<R#1,Unit>)
R#2 extends Object declared in method <R#2>spawn(Coro<R#2,Unit>)
R#3 extends Object declared in class Coro
T extends Object declared in class Coro
where CAP#1 is a fresh type-variable:
CAP#1 extends Object from capture of ?
Coro.java:76: error: self-reference in initializer
return yield.then(exhaust);
^
Coro.java:84: error: incompatible types: Object cannot be converted to T
return applyBothLeft(this, exhaust).runContT(State::pure).eval(new LinkedList());
^
where T is a type-variable:
T extends Object declared in class Coro
Note: Some input files use unchecked or unsafe operations.
Note: Recompile with -Xlint:unchecked for details.
9 errors
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment