aboutsummaryrefslogtreecommitdiff
path: root/tests/pos
Commit message (Expand)AuthorAgeFilesLines
* Fixes suggested by reviews from @smarter.Martin Odersky2015-01-242-3/+2
* Moved previously failing tests to posMartin Odersky2015-01-183-0/+70
* Made constraint data structures pluggable.Martin Odersky2015-01-121-0/+13
* 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-48/+0
* New scheme for subtyping refined types.Martin Odersky2015-01-081-15/+0
* Reorg of subtyping.Martin Odersky2015-01-012-1/+12
* test reorgMartin Odersky2014-12-213-0/+19
* Don't emit copy method for case classes with repeated parameters.Martin Odersky2014-12-201-0/+7
* New passing tests.Martin Odersky2014-12-192-0/+34
* Harden implicit scope computation against CyclicReference errors.Martin Odersky2014-12-191-0/+51
* Fix isUnboundedGeneric for alias types.Martin Odersky2014-12-191-0/+52
* Test re-org.Martin Odersky2014-12-192-1/+48
* Fix NoCyclicReference testMartin Odersky2014-12-191-0/+7
* 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 #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
| |/ |/|
* | Two new testsMartin Odersky2014-12-131-0/+1
|/
* Fix subtyping of null and refined types.Martin Odersky2014-12-131-0/+19
* 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-261-0/+43
* Added test case from SI-6169Martin Odersky2014-11-251-0/+69
* Simpler cycle detectionMartin Odersky2014-11-241-0/+5
* Better printing of variant types with wildcard arguments.Martin Odersky2014-11-241-0/+11
* Fix to checkBoundsMartin Odersky2014-11-241-0/+8
* Fixed type adaptation problem in checkBoundsMartin Odersky2014-11-241-0/+18
* Moving java tests to posDmitry Petrashko2014-11-2275-0/+378
* Java annotations parsing problemDmitry Petrashko2014-11-221-1/+5
* 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-181-0/+9
* Merge pull request #228 from dotty-staging/fix/overridingodersky2014-11-184-4/+12
|\
| * Fix OverridingPairsMartin Odersky2014-11-144-4/+12
* | 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-161-5/+15
| |/
* / Moved pending tests that work into pos and neg.Martin Odersky2014-11-174-0/+84
|/
* Fixes problem exhibited by ensuring.scalaMartin Odersky2014-11-131-0/+5
* Fix subtyping checks involving ThisType and PolyParamGuillaume Martres2014-11-111-0/+6
* Adding test for Unit vars.Martin Odersky2014-11-091-1/+1
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-30 18:59:07 +0000