Code

Add kind polymorphism#4108

Code

Merged

smarter merged 16 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:add-kind-polydotty-staging/dotty:add-kind-polyCopy head branch name to clipboard

Mar 23, 2018

Commits

Commits on Mar 23, 2018

• Add Any-kinded types

  Show description for 74ca079
  

  odersky

  authored and

  allanrenucci

  committed
  74ca079

  Copy full SHA for 74ca079

• Add docs

  

  odersky

  authored and

  allanrenucci

  committed
  c825eb5

  Copy full SHA for c825eb5

• More negative tests

  Show description for 321b616
  

  odersky

  authored and

  allanrenucci

  committed
  321b616

  Copy full SHA for 321b616

• Fix regression in TypeComparer

  Show description for 1bb183a
  

  odersky

  authored and

  allanrenucci

  committed
  1bb183a

  Copy full SHA for 1bb183a

• Harden tryReduce

  Show description for a020409
  

  odersky

  authored and

  allanrenucci

  committed
  a020409

  Copy full SHA for a020409

• Avoid generating kind-incorrect types for wildcard arguments.

  Show description for 826c1de
  

  odersky

  authored and

  allanrenucci

  committed
  826c1de

  Copy full SHA for 826c1de

• Update comparisons of higher-kinded types

  Show description for 060e1de
  

  odersky

  authored and

  allanrenucci

  committed
  060e1de

  Copy full SHA for 060e1de

• Remove failing repl test

  Show description for 462a401
  

  odersky

  authored and

  allanrenucci

  committed
  462a401

  Copy full SHA for 462a401

• Rename isHK -> isLambdaSub

  

  odersky

  authored and

  allanrenucci

  committed
  5bc9927

  Copy full SHA for 5bc9927

• Add hook to make AnyKind support conditional

  

  odersky

  authored and

  allanrenucci

  committed
  0031ca9

  Copy full SHA for 0031ca9

• Fix accidental replacement

  

  Blaisorblade

  authored and

  allanrenucci

  committed
  99e0dc6

  Copy full SHA for 99e0dc6

• Hide kind-polymorphism behind -Ykind-polymorphism

  

  Blaisorblade

  authored and

  allanrenucci

  committed
  92a941a

  Copy full SHA for 92a941a

• Fix flag description

  

  Blaisorblade

  authored and

  allanrenucci

  committed
  ee44f8f

  Copy full SHA for ee44f8f

• Disable tracing again

  

  Blaisorblade

  authored and

  allanrenucci

  committed
  05162fe

  Copy full SHA for 05162fe

• Fix typos in new docs

  

  Blaisorblade

  authored and

  allanrenucci

  committed
  e51db1c

  Copy full SHA for e51db1c

• Fix #4167: Add regression test

  allanrenucci

  committed
  91e7fc4

  Copy full SHA for 91e7fc4