Code

Tailrec tc#155

Code

Merged

DarkDimius merged 8 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:tailrecTCdotty-staging/dotty:tailrecTCCopy head branch name to clipboard

Jul 23, 2014

Commits

Commits on Jul 22, 2014

• Allow FullParametrization to work on localy defined methods

  DarkDimius

  committed
  de2ecc7

  Copy full SHA for de2ecc7

• Create RetypingTreeMap that propagates types

  Show description for 068fc8e
  DarkDimius

  committed
  068fc8e

  Copy full SHA for 068fc8e

• Fix typo in lazyVals

  DarkDimius

  committed
  b4e7de0

  Copy full SHA for b4e7de0

• Add test for tailcall

  Show description for 601b11e
  DarkDimius

  committed
  601b11e

  Copy full SHA for 601b11e

• Make trees after TailRec type correct

  Show description for edeb7e4
  DarkDimius

  committed
  edeb7e4

  Copy full SHA for edeb7e4

• Move Ycheck after tailrec

  Show description for e8d2733
  DarkDimius

  committed
  e8d2733

  Copy full SHA for e8d2733

• Defined substitution which follows aliases

  Show description for ababb2c
  odersky

  committed
  ababb2c

  Copy full SHA for ababb2c

• Fixed typo

  odersky

  committed
  db2b422

  Copy full SHA for db2b422