Add kind polymorphism#4108

Merged

smarter merged 16 commits intoscala:masterfrom

dotty-staging:add-kind-poly

Mar 23, 2018

Commits on Mar 23, 2018

Add Any-kinded types

odersky
authored and
allanrenucci
committed
Add docs

odersky
authored and
allanrenucci
committed
More negative tests

odersky
authored and
allanrenucci
committed
Fix regression in TypeComparer

odersky
authored and
allanrenucci
committed
Harden tryReduce

odersky
authored and
allanrenucci
committed
Avoid generating kind-incorrect types for wildcard arguments.

odersky
authored and
allanrenucci
committed
Update comparisons of higher-kinded types

odersky
authored and
allanrenucci
committed
Remove failing repl test

odersky
authored and
allanrenucci
committed
Rename isHK -> isLambdaSub

odersky
authored and
allanrenucci
committed
Add hook to make AnyKind support conditional

odersky
authored and
allanrenucci
committed
Fix accidental replacement

Blaisorblade
authored and
allanrenucci
committed
Hide kind-polymorphism behind -Ykind-polymorphism

Blaisorblade
authored and
allanrenucci
committed
Fix flag description

Blaisorblade
authored and
allanrenucci
committed
Disable tracing again

Blaisorblade
authored and
allanrenucci
committed
Fix typos in new docs

Blaisorblade
authored and
allanrenucci
committed
Fix #4167: Add regression test
allanrenucci
committed