| commit | eab6e8a36f48e1b23236ac5f3794f151633e9849 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan.herrmann@berlin.de> | Sun Jan 05 03:00:55 2014 +0100 |
| committer | Stephan Herrmann <stephan.herrmann@berlin.de> | Sun Jan 05 03:00:55 2014 +0100 |
| tree | 2b3c42ef9b7a817981fb5748d7aaebe584fcd534 | |
| parent | 32ed6afa05944f9d753b1aefa94a594dda963124 [diff] |
Fix interaction between type inference and dependent types: check team anchors after inference.