You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
in the second-order case, the implicits are not found. if i add them explicitly, the compiler complains:
<console>:38:error: no typeparametersfor method test: (implicitsys: Sys[A,B],implicitc: A)Proc[A,B] exist so that it can be applied to arguments (KSys, KCtx)
--- because ---
argument expression'stypeis not compatible with formal parameter type;
found : KSysrequired: Sys[?A,?B]
valp=Factory.test( "Test" )( sys, c )
^
so i need to annotate all types. this is a real show stopper for a larger generified library.
= problem =
Type Constructor inference doesn't behave consistently across method calls and constructor invocations.
Tested with Scala 2.8.1
The text was updated successfully, but these errors were encountered: