aboutsummaryrefslogtreecommitdiff
path: root/tests
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #309 from dotty-staging/fix/#306-avoidance-problemDmitry Petrashko2014-12-311-0/+17
|\
| * Added testMartin Odersky2014-12-181-0/+17
* | Merge pull request #310 from dotty-staging/fix/#305-annot-bootstrapDmitry Petrashko2014-12-311-0/+8
|\ \
| * | More careful usage of unforced decls in classes.Martin Odersky2014-12-181-0/+8
| |/
* | Fixed testMartin Odersky2014-12-191-3/+1
* | Allow for varargs passed to Java annotation constructors.Martin Odersky2014-12-192-8/+5
* | Merge pull request #271 from dotty-staging/fix/i268-gadtsodersky2014-12-191-0/+15
|\ \ | |/ |/|
| * Fixed #264 - failure to typecheck GADTsMartin Odersky2014-12-161-0/+15
* | Merge pull request #251 from dotty-staging/shared-backendDmitry Petrashko2014-12-173-0/+32
|\ \
| * | Handle Arrays in backend.Dmitry Petrashko2014-12-161-0/+8
| * | Label test with nested cycles and simple patterns.Dmitry Petrashko2014-12-161-0/+21
| * | Add test for backend.Dmitry Petrashko2014-12-161-0/+3
* | | Fix #300: Make literals have the same constants as their types.Martin Odersky2014-12-171-0/+6
* | | Merge pull request #294 from samuelgruetter/tests-rewrite-2odersky2014-12-16509-64/+125
|\ \ \
| * | | move failing tests from tests/untried/pos to tests/pending/posSamuel Gruetter2014-12-16494-0/+0
| * | | run srewrite version 88d3cd4126d135617a8189f0a855757d7e2ab806 on tests/untrie...Samuel Gruetter2014-12-1635-57/+118
| |/ /
* | | Merge pull request #282 from dotty-staging/fix/i0239-package-objectsodersky2014-12-162-0/+35
|\ \ \ | |/ / |/| |
| * | Fix to asSeenFrom for package object membersMartin Odersky2014-12-151-0/+24
| * | Fix #239 - handling of package objectsMartin Odersky2014-12-131-0/+11
* | | Fix typechecking rules for Binds of type trees.Martin Odersky2014-12-151-0/+19
| |/ |/|
* | Merge pull request #279 from dotty-staging/test/#91odersky2014-12-132-0/+17
|\ \
| * | Two new testsMartin Odersky2014-12-132-0/+17
| |/
* / Disable implicit conversions between from `Null` and `Nothing`.Martin Odersky2014-12-131-0/+6
|/
* Merge pull request #277 from dotty-staging/change/drop-not-nullodersky2014-12-131-0/+19
|\
| * Fix subtyping of null and refined types.Martin Odersky2014-12-131-0/+19
* | Fixed testMartin Odersky2014-12-131-1/+1
* | One more test case, coming from #214.Martin Odersky2014-12-131-0/+1
* | Fix #248: Class cannot inherit from refinement typesMartin Odersky2014-12-131-0/+9
|/
* Previous scheme was buggy; leaked Array types to backend.Martin Odersky2014-11-281-0/+14
* Allow refinements that refine already refined types.Martin Odersky2014-11-262-0/+66
* Added test case from SI-6169Martin Odersky2014-11-251-0/+69
* Simpler cycle detectionMartin Odersky2014-11-241-0/+5
* Fixed cycle detection.Martin Odersky2014-11-241-0/+13
* Added and corrected testsMartin Odersky2014-11-242-1/+5
* Better printing of variant types with wildcard arguments.Martin Odersky2014-11-241-0/+11
* Fix to checkBoundsMartin Odersky2014-11-241-0/+8
* Fixes in TypeComparer for RefinedTypes.Martin Odersky2014-11-244-22/+14
* Fixed type adaptation problem in checkBoundsMartin Odersky2014-11-241-0/+18
* Moving java tests to posDmitry Petrashko2014-11-2283-0/+5
* Java annotations parsing problemDmitry Petrashko2014-11-221-1/+5
* create dummy first constructor for Java classesOndrej Lhotak2014-11-222-0/+0
* support running java-interop testsOndrej Lhotak2014-11-2210-1/+1
* Testcase that shows bug in ElimRepeated.Dmitry Petrashko2014-11-221-0/+3
* Add the right constructor to Java annotationsMartin Odersky2014-11-221-0/+11
* Add tests for the overriding of typesGuillaume Martres2014-11-182-0/+20
* Merge pull request #228 from dotty-staging/fix/overridingodersky2014-11-186-4/+92
|\
| * Check that overriding members refine the types of overridden ones.Martin Odersky2014-11-181-0/+11
| * Fix OverridingPairsMartin Odersky2014-11-146-4/+81
* | Merge pull request #230 from dotty-staging/fix/and-or-subtypingodersky2014-11-181-0/+13
|\ \
| * | Fixed typosMartin Odersky2014-11-181-3/+0