commit a4656a204b933870ad58f525358ef980bf561da8
author Asger Feldthaus <asgerf@google.com> Fri Jun 03 16:22:36 2016 +0200
committer Asger Feldthaus <asgerf@google.com> Fri Jun 03 16:22:36 2016 +0200
tree 415ca8b3e88574cd53f6955f4927015473728419
parent 9b94420449bdf0ebb5a69e42ec450bf2ffbcff08

[kernel] Incomplete global type propagation.

To make this more digestible, a lot of things are intentionally left
out from the implementation:
 - Some AST nodes, like super calls and await
 - Handling of externals
 - Avoidance of redundant variables in the constraint system

The solver is currently field-based, which is also something I plan to
change.

Suggested reading order:
- constraints.dart
- solver.dart
- canonicalizer.dart
- builder.dart
- visualizer.dart

R=kasperl@google.com

Review URL: https://chromereviews.googleplex.com/442937013 .