aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #1509 from felixmulder/topic/better-try-catch-messagesFelix Mulder2016-09-153-2/+26
|\ | | | | Better `try` and `catch` messages
| * Improve error message on empty catch blockFelix Mulder2016-09-152-0/+12
| |
| * Allow try expression without catch or finally, issue warningFelix Mulder2016-09-152-2/+14
|/
* Merge pull request #1512 from OlivierBlanvillain/mv-testFelix Mulder2016-09-151-0/+0
|\ | | | | Move t1335 test from /pos to /run
| * Move t1335 test from /pos to /runOlivier Blanvillain2016-09-151-0/+0
|/
* Merge pull request #1466 from dotty-staging/more-run-testsFelix Mulder2016-09-1412-20/+29
|\ | | | | More run tests
| * Add missing check file.Martin Odersky2016-09-141-0/+0
| |
| * Fix test syntax to make it dotty compatibleMartin Odersky2016-09-141-2/+2
| |
| * Add some run testsMartin Odersky2016-09-1411-18/+27
|/
* Merge pull request #1499 from OlivierBlanvillain/fix-1335Felix Mulder2016-09-145-88/+97
|\ | | | | Fix #1335: Generate null checks for extractors
| * Fix #1335: Generate null checks for extractorsOlivier Blanvillain2016-09-082-3/+18
| |
| * Identation/spacing cleanupOlivier Blanvillain2016-09-084-85/+79
| |
* | Merge pull request #1504 from OlivierBlanvillain/fix-1500Felix Mulder2016-09-144-4/+73
|\ \ | |/ |/| Partially fix #1500: Implicit search breaks at a certain depth
| * Partially fix #1500: Implicit search breaks at a certain depthOlivier Blanvillain2016-09-134-4/+73
|/ | | | | | The issue fixed here was introduced by 71027f15. The added `csyms.isEmpty` condition on `case nil =>` is always true, which is clearely a bug. t1500c still fails with covariant (or contravariant) type parameters on `::`, but this seams to be a more complicated issue involving the typer.
* Merge pull request #1498 from felixmulder/fix-nightlyFelix Mulder2016-09-061-1/+1
|\ | | | | Get property from environment instead of from sysprops
| * Get property from environment instead of from syspropsFelix Mulder2016-09-061-1/+1
|/
* Merge pull request #1496 from felixmulder/dottydoc-client-v0.1.0Felix Mulder2016-09-061-3/+1
|\ | | | | Bump dottydoc version for nightly builds
| * Bump dottydoc version for nightly buildsFelix Mulder2016-09-061-3/+1
|/
* Merge pull request #1482 from dotty-staging/fix-asapplicable-safeodersky2016-09-047-33/+119
|\ | | | | More tweaks to type inference
| * TyperState refactoring.Martin Odersky2016-08-261-17/+7
| | | | | | | | | | Need to export just uncommittedAncestor, can hide isCommitted and parent.
| * Handle case where expected type of a SeqLiteral has an undetermined element ↵Martin Odersky2016-08-263-9/+59
| | | | | | | | | | | | type. Test case is isApplicableSafe -Ycheck:first.
| * Handle complex context merging casesMartin Odersky2016-08-262-4/+7
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Test case in isApplicableSafe.scala. It turns out that this requires a context merge using the new `&' operator. Sequence of actions: 1) Typecheck argument in typerstate 1. 2) Cache argument. 3) Evolve same typer state (to typecheck other arguments, say) leading to a different constraint. 4) Take typechecked argument in same state. It turns out that the merge in TyperState is needed not just for isApplicableSafe but also for (e.g. erased-lubs.scala) as well as many parts of dotty itself.
| * Implement constraint mergingMartin Odersky2016-08-263-5/+48
| | | | | | | | Not used yet, but we might use it as an alternative to typedArg invalidation later.
* | Merge pull request #1491 from dotty-staging/fix-i1490Guillaume Martres2016-09-013-1/+17
|\ \ | | | | | | Fix #1490: type test of union types via type alias
| * | Fix #1490: type test of union types via type aliasliu fengyun2016-09-013-1/+17
|/ /
* | Merge pull request #1483 from lampepfl/DarkDimius-patch-7Felix Mulder2016-08-291-2/+3
|\ \ | |/ |/| Update readme: mark Exhaustivity checks & multiv.eq. as implemented
| * Update readme: mark Exhaustivity checks & multiv.eq. as implementedDmitry Petrashko2016-08-291-2/+3
|/
* Merge pull request #1461 from dotty-staging/fixes-gadtsodersky2016-08-26109-102/+155
|\ | | | | Fixes of GADTs and test recategorization.
| * Dependent method testsMartin Odersky2016-08-264-2/+29
| |
| * More tests recategorizedMartin Odersky2016-08-265-3/+2
| |
| * Make inherited inferred result type work for dependent methodsMartin Odersky2016-08-262-11/+18
| | | | | | | | We did not properly rename parameter references before.
| * Relax matching requirement in unApplyMartin Odersky2016-08-262-3/+2
| | | | | | | | | | | | We now always widen selector type to the superclass if necessary, no matter whether the selector type refers to a trait or a proper class.
| * Move tests to right directoryMartin Odersky2016-08-267-0/+13
| |
| * Test recategorizationMartin Odersky2016-08-262-4/+6
| |
| * Generalize self-referential member comparisons.Martin Odersky2016-08-263-5/+9
| | | | | | | | | | | | | | The special case in hasMatchingMember dealing with self-refential members has to be generalized to deal lower and upper bounds. Test case is t762.scala
| * Type annotations in context enclosing the annotated definitionMartin Odersky2016-08-262-1/+2
| | | | | | | | Fixes SI-7426, which caused a double definition before.
| * Drop out of date commentMartin Odersky2016-08-261-1/+1
| |
| * Add more missing testsMartin Odersky2016-08-268-0/+72
| |
| * Implement alternative desugaring of for-if to filter.Martin Odersky2016-08-265-5/+38
| | | | | | | | | | | | | | Fallback to .filter if a .withFilter is not available, but do this only for .withFilter calls generated from for expressions (this is different from what scalac does; the latter can also rewrite .withFilter calls given in source, which is not desirable.
| * Retracting special case depending on Ycheck.Martin Odersky2016-08-261-3/+2
| | | | | | | | | | | | | | I believe it's better to just bite the bullet and insert the cast. If it should become a problem, we can think of a fallback, e.g. marking the expression with a special tag, so that it does not get typechecked. But for the moment I am not sure it is an issue at all.
| * Be more careful with inserted casts.Martin Odersky2016-08-261-2/+9
| | | | | | | | See comment on the commit for an explanation.
| * Recategorize testsMartin Odersky2016-08-2679-135/+7
| | | | | | | | | | | | | | | | | | Passing tests from pending/pos go in pos. Some others go in diabled/not-testable. These are tests that require a compilation order which we cannot yet do with our unit testing framework. Compiling them alltogether (as is now doen in junit) does not work either for them because they contain a duplicate class.
| * GADT testMartin Odersky2016-08-261-2/+2
| | | | | | | | | | This one failed in getters before because a (previously unchecked) assignment was turned into a checked application. Now it passes.
| * Make expressions using GADTs type check in later phasesMartin Odersky2016-08-262-3/+21
| | | | | | | | | | | | GADT logic is lost after PatMat. To make code typecheck, the typer should already insert casts where a subtype check succeeded because it involved bounds established by a GADT comparison.
| * Fix testing in tree checker.Martin Odersky2016-08-261-1/+1
| | | | | | | | | | | | | | Tree checker typed always dropped the expected type and replaced it by a wildcard. This meant that type checking dor -Ycheck was much weaker than it should be. A class of GADT problems is only diagnosed once the expected type is proberly propagated.
* | Merge pull request #1481 from dotty-staging/remove-warningsDmitry Petrashko2016-08-2626-6/+371
|\ \ | | | | | | Remove warnings from compliation of dotty.
| * | Fix a couple of warnings.Nicolas Stucki2016-08-263-5/+5
| | |
| * | Suppress warnings for JFunction#.java erased specialized methods.Nicolas Stucki2016-08-2623-1/+366
|/ /
* | Merge pull request #1417 from dotty-staging/fix-output-diffDmitry Petrashko2016-08-262-26/+105
|\ \ | |/ |/| Implement Xprint-diff without external libraries.
| * Fix #1405: Implement Xprint-diff without external libraries.Nicolas Stucki2016-08-242-26/+105
| |
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-04 02:47:50 +0000