diff options
| author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-02-13 14:03:50 +0100 |
|---|---|---|
| committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-02-13 14:03:50 +0100 |
| commit | 2d3d1b6468710957792443445c46ea2a2874aab6 (patch) | |
| tree | a23a45caf368ef5e049d6a7b8c8b231d1bad02f8 /.gitignore | |
| parent | 07385d820e854dd11e174f8e59c9b94019e5eacd (diff) | |
| download | dotty-2d3d1b6468710957792443445c46ea2a2874aab6.tar.gz dotty-2d3d1b6468710957792443445c46ea2a2874aab6.tar.bz2 dotty-2d3d1b6468710957792443445c46ea2a2874aab6.zip | |
Rework LabelDefs. Fixes boxing of a unit label killing backend.
Though still it would be better if erasure didn't emmit such trees,
but still it's better to have this phase kore robust.
Also made LabelDefs run in linear time on the size of tree
instead of square on the Block-depth of tree.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions