lampepfl/dotty — pull request #154 by DarkDimius (2014-07-22 12:05:37+00:00)
Title: Make trees after TailRec type correct. Move Ycheck after tailrec

Includes #144