aboutsummaryrefslogtreecommitdiff
path: root/tests/pos
Commit message (Expand)AuthorAgeFilesLines
* Test reorgMartin Odersky2015-02-0710-28/+153
* Fixes handling of op-assignments for polymorphic apply/update.Martin Odersky2015-02-071-0/+15
* Merge pull request #346 from dotty-staging/local-lazy-valsodersky2015-02-071-0/+16
|\
| * Fix problems with lazy vals and separate compilationDmitry Petrashko2015-02-031-0/+16
* | Addressing review comments of #336Dmitry Petrashko2015-02-031-1/+1
* | Even more careful handling of tailcalls.Dmitry Petrashko2015-02-031-5/+21
* | Fix i321, tail call needs to be careful with abstracting over class type argu...Dmitry Petrashko2015-02-031-0/+10
|/
* Merge pull request #338 from dotty-staging/fix/t3152-findMemberodersky2015-01-3110-0/+162
|\
| * New testsMartin Odersky2015-01-2710-0/+162
* | Merge pull request #331 from dotty-staging/fix/refined-subtypingodersky2015-01-319-6/+69
|\ \
| * | Fixed problem with ensureSingletonMartin Odersky2015-01-281-0/+14
| |/
| * 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
* | Merge pull request #313 from dotty-staging/more-testsDmitry Petrashko2015-01-098-1/+199
|\|
| * 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 #317 from dotty-staging/fix/java-varargsDmitry Petrashko2015-01-081-0/+30
|\ \
| * | Fix passing : _* arguments to Java methodsMartin Odersky2014-12-211-0/+30
| |/
* | 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-191-3/+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 #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