aboutsummaryrefslogtreecommitdiff
path: root/tests
Commit message (Expand)AuthorAgeFilesLines
* Rename RefinedThis -> SkolemTypeMartin Odersky2015-01-101-1/+1
* Reverting the idea that RefinedThis types take levels.Martin Odersky2015-01-101-1/+1
* Simplify and fix bounds propagation in constraints.Martin Odersky2015-01-081-2/+3
* New scheme for subtyping refined types.Martin Odersky2015-01-081-0/+0
* Reorg of subtyping.Martin Odersky2015-01-014-1/+26
* test reorgMartin Odersky2014-12-214-1/+3
* tests reorgsMartin Odersky2014-12-216-0/+35
* Don't emit copy method for case classes with repeated parameters.Martin Odersky2014-12-201-0/+0
* New passing tests.Martin Odersky2014-12-192-0/+31
* Harden implicit scope computation against CyclicReference errors.Martin Odersky2014-12-192-31/+0
* Fix isUnboundedGeneric for alias types.Martin Odersky2014-12-191-0/+52
* Avoid name clashes when generating synthetic companion objects.Martin Odersky2014-12-191-1/+2
* Test re-org.Martin Odersky2014-12-196-23/+3
* Fix NoCyclicReference testMartin Odersky2014-12-191-0/+0
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-23 19:54:49 +0000