Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Disallow constructor arguments given multiple times. | chriseth | 2018-06-29 | 1 | -1/+1 |
* | Add source locations to syntax test expectations. | Daniel Kirchner | 2018-04-10 | 1 | -1/+1 |
* | Move constructor argument override check to TypeChecker and reuse annotations... | Daniel Kirchner | 2018-04-09 | 1 | -1/+1 |
* | Allow duplicated constructor calls, if no arguments; support for multiple inh... | Daniel Kirchner | 2018-04-09 | 1 | -0/+9 |