Scala Презентация Compiler и IntelliJ

Question

следующее определение ...

object Category { 
    def fCat = new Category[Function1] { 
    def compose[A, B, C](f: (B) => C)(g: (A) => B) = { a: A => f(g(a)) } 
    } 
} 

... является действительным, если Category определяется как:

trait Category[~>[_, _]] { 
    def compose[A, B, C](f: ~>[B, C])(g: ~>[A, B]): ~>[A, C] 
} 

... но не тогда, когда инфиксации конструктор типа:

def compose[A, B, C](f: B ~> C)(g: A ~> B): A ~> C 

Здесь IntelliJ жалуется, что член Compose не определен в fCat ,

Является ли это ограничителем компилятора презентации? Плагин IntelliJ's Scala? Или я что-то пропускаю?

Answer 1

Это ошибка IntelliJ; он имеет свой собственный компилятор презентации.

Я сообщил об этом здесь: http://youtrack.jetbrains.com/issue/SCL-4179