aboutsummaryrefslogtreecommitdiff
path: root/tests
Commit message (Expand)AuthorAgeFilesLines
* 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
| * | Restored accidentally deleted test code.Martin Odersky2014-11-181-0/+6
| * | Try to avoid overconstraining when comparing and/or typesMartin Odersky2014-11-162-17/+15
| |/
* / Moved pending tests that work into pos and neg.Martin Odersky2014-11-179-34/+0
|/
* Fixes problem exhibited by ensuring.scalaMartin Odersky2014-11-131-0/+0
* Fix subtyping checks involving ThisType and PolyParamGuillaume Martres2014-11-111-0/+6
* Merge pull request #217 from dotty-staging/transform/mixinDmitry Petrashko2014-11-102-3/+3
|\
| * Adding test for Unit vars.Martin Odersky2014-11-091-1/+1
| * Improved version of mixin.Martin Odersky2014-11-091-2/+2
* | Merge pull request #207 from dotty-staging/transform/privateToStaticodersky2014-11-093-0/+97
|\|
| * New phase: PrivateToStaticMartin Odersky2014-11-093-0/+97
* | Detect cycles involving types bounded by singleton typesGuillaume Martres2014-11-061-0/+25
|/
* Merge pull request #180 from smarter/fix/nosymbol-subtypingodersky2014-11-061-4/+5
|\
| * Fix subtyping of types without symbolsGuillaume Martres2014-10-091-1/+5
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-02 20:06:01 +0000