commit | 26d5d19392d0362255ee06bd629a710000e56d0f | [log] [tgz] |
---|---|---|
author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Tue Dec 14 08:48:24 2010 +0000 |
committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Tue Dec 14 08:48:24 2010 +0000 |
tree | 9bb6aadbc9c8c1b134dd982427c23fcceb86b284 | |
parent | b2883a1ef2df128c8f16272b04af43fc45334383 [diff] |
one more location needs to erase before comparing types, witnessed by new test where a role inside a parameterized team has a callin binding, enclosing type is a RawTypeBinding.