Code

WIP- Implement Dependent Class Type#3936

Code

Closed

liufengyun wants to merge 5 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:dependent-classdotty-staging/dotty:dependent-classCopy head branch name to clipboard

Commits

Commits on Jan 29, 2018

• WIP - dependent types

  liufengyun

  committed
  753a50a

  Copy full SHA for 753a50a

• add test for subtyping

  liufengyun

  committed
  eac7190

  Copy full SHA for eac7190

• add test to fromTasty blacklist

  liufengyun

  committed
  e2f06b8

  Copy full SHA for e2f06b8

• add ML-like functor module example

  liufengyun

  committed
  20b26dc

  Copy full SHA for 20b26dc

• skip fromTasty test

  liufengyun

  committed
  1eab668

  Copy full SHA for 1eab668