Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Allow definition of new types in refinements | Martin Odersky | 2016-07-12 | 1 | -1/+1 |
| | | | | | Allow definition of types in refinements that do not appear in parent type. | ||||
* | Negtests with // error comments | vsalvis | 2016-02-18 | 1 | -2/+2 |
| | |||||
* | Fix of #39 | Martin Odersky | 2014-03-04 | 1 | -0/+19 |
Two fixes: 1) Avoid the infinite recursion in checkAccessible if the accessibility check fails. 2) Make accessibility succeed for the test, and in general if the target denotation does not have a symbol. Added original test in pos and a negative test which makes accessibility fail. |