aboutsummaryrefslogtreecommitdiff
path: root/test
Commit message (Collapse)AuthorAgeFilesLines
* Fix miniphase assembly.Martin Odersky2015-08-151-5/+5
| | | | | | | | There were two architectural errors here, which confused TreeTransforms and MiniPhases and which caused "NotDefinedHere" on transformFollowing: 1. TreeTransforms should not have idx fields, MiniPhases have them.2 2. TreeTransformers initialize arrays of MiniPhases not TreeTransforms.
* Revert "Disable -Ycheck:labelDefs"Martin Odersky2015-08-051-1/+1
| | | | This reverts commit c8afd79b4c7f145ba090a2d936d627c3ab35b1c2.
* Add LiftTry phaseMartin Odersky2015-08-051-1/+1
| | | | | Phase lifts tries that would be illegal because they execute on non-empty expression stacks.
* Disable -Ycheck:labelDefsMartin Odersky2015-08-041-1/+1
| | | | | Disable the check because if fails for desugar.scala and also in some dotty files. This test failed before the addition of NonLocalReturns.
* Merge pull request #735 from dotty-staging/ycheck-methodsodersky2015-08-041-1/+1
|\ | | | | Ycheck that methods defined in ClassInfo exist in tree.
| * Compile dotty.*, not only dotty.tools.Dmitry Petrashko2015-07-231-1/+1
| |
* | Merge pull request #724 from dotty-staging/labels-YcheckDmitry Petrashko2015-07-221-3/+8
|\ \ | | | | | | Enable Ycheck after labelDef. Fixes #701
| * | Disable Ycheck:all until #725 is fixed.Dmitry Petrashko2015-07-201-1/+1
| | |
| * | Enable -Ycheck:all in Jenkins.Dmitry Petrashko2015-07-201-3/+8
| | | | | | | | | | | | | | | Done by setting an environment variable and checking it in runtime. This enables Ycheck:all for all kinds of tests, including partest.
| * | Enable Ycheck after labelDef. Fixes #701Dmitry Petrashko2015-07-131-1/+1
| |/
* | Merge pull request #719 from dotty-staging/fix/doubledefsDmitry Petrashko2015-07-201-1/+1
|\ \ | | | | | | Avoid crashes on double definitions
| * | Added testMartin Odersky2015-07-101-1/+1
| | |
* | | Don't add lower bounds of abstract types to the implicit scopeGuillaume Martres2015-07-111-0/+1
| |/ |/| | | | | | | | | | | | | As the spec[1] says: "The parts of a type T are [...] if T is an abstract type, the parts of its upper bound;" [1]: http://www.scala-lang.org/files/archive/spec/2.11/07-implicits.html#implicit-parameters
* | Merge pull request #708 from dotty-staging/add/check-reentrantodersky2015-07-063-3/+3
|\ \ | | | | | | Check that dotty is reentrant
| * | Make partest run in parallelMartin Odersky2015-07-061-1/+1
| | |
| * | Add -Ycheck-reentrant to dotty test.Martin Odersky2015-07-061-1/+1
| | |
| * | Turn global vars into valsMartin Odersky2015-07-061-1/+1
| | | | | | | | | | | | Some globally accessible vars were never updated; should be vals.
* | | Check that a self type T is closed.Martin Odersky2015-07-061-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | What is checked: A self type T is a subtype of all selftypes of classes refernced by T. That is, a self type has to subsume all self types of its required type. Ot, otherwise said, requirements must be closed; you cannot discover new ones in following them.
* | | Error instead of crash when sigName comes up with a missing reference.Martin Odersky2015-07-061-0/+1
|/ / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | A TypeRef can have be unresolved, either because it refers to something that's missing from the classpath or because of transitive self type references. Instead of crashing in sigName, we now report the error. Achieved by defining a new exception type, MissingType, which derives from TypeError. This catches t7933.scala, now integrated in the neg/selfreq.scala. The problem there was a reference to AbsSettings, which was not a member of StandardScalaSettings.this, but was a member of the required type of AbsSettings, which itself appeared in the required type of StandardScalaSettings. We will outlaw in the next commit such transitive required references. Also collapsed TypeError and FatalTypeError. It was a misnomer anyway. Fatal were those type errors that were caught and reported! Open: Where else we should check for unresolved NamedTypes.
* | Merge pull request #694 from dotty-staging/fix/dependent-methodsodersky2015-07-061-1/+1
|\ \ | |/ |/| Fix/dependent methods
| * Avoid follow-on errors after implicit argument errors.Martin Odersky2015-06-231-1/+1
| | | | | | | | Previously, we could die with a <notype> when an implicit argument was not found.
* | Merge pull request #695 from dotty-staging/fix/source-positionsDmitry Petrashko2015-07-021-0/+1
|\ \ | | | | | | Avoid crasher when first token of a program is in error
| * | Avoid crasher when first token of a program is in errorMartin Odersky2015-06-251-0/+1
| |/ | | | | | | | | This used to give a crash in SourcePositiom, promoted by feeding its calculations with a negative offset.
* | Check value class member restrictionsMartin Odersky2015-07-021-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | According to SIP 15 a value class C must obey the following restrictions: C may not have secondary constructors. C may not declare fields (other than the parameter of a value class). C may not contain object definitions. C may not have initialization statements. These are enforced by this commit. We are still missing restrictions on value class paremeters. We should review what the right set of conditions is (probably we want to admit non-vals, and maybe even multiple parameters).
* | Check that value classes are staticMartin Odersky2015-07-021-0/+2
| |
* | Fix rebase breakage around reporters.Martin Odersky2015-06-291-2/+4
| | | | | | | | | | Reporters are part of the context which is passed into a compiler run. Passing them as a separate option is an unnecessary complication.
* | Merge pull request #691 from vsalvis/vsalvis-partest-outputDmitry Petrashko2015-06-264-27/+30
|\ \ | |/ |/| Partest output redirection over context.reporter
| * Partest 3/3: Proper compiler output redirectionvsalvis2015-06-244-27/+30
| |
* | Implement trait parametersMartin Odersky2015-06-191-0/+1
| | | | | | | | | | | | Add necessary logic to Mixin. Also add tests that all parameterized traits are called with parameters set.
* | Implement checking for illegal parent trait constructor calls.Martin Odersky2015-06-191-0/+1
| | | | | | | | | | A parent trait may not be parameterized (as in T()) if the calling class does not directly implement that trait.
* | Fix stack overflow when testing for shadowingMartin Odersky2015-06-191-0/+1
| | | | | | | | | | | | | | | | | | Shadowing tests could go into an infinite recursion when the found sahdwoing member itself needs an implicit that is resolved and then shadowed again by the same member. A test case is neg/arrayclone-new.scala. This caused a SO before, now gives two errors.
* | Delete test which no longer appliesMartin Odersky2015-06-061-1/+0
| | | | | | | | | | neg/projections required certain types of the form C#T to be ill-formed. This is no longer done.
* | Skolemize unstable prefixes in asSeenFromMartin Odersky2015-06-061-2/+1
|/ | | | | | | | | | | Skolemize unstable prefixes in asSeenFrom provided - the prefix appears at least once in non-variant or contra-variant position - we are in phase typer. After typer, we have already established soundness, so there's no need to do skolemization again. We can simply do the (otherwise unsound) substitution from this-type to prefix.
* Eliminate `_' from rhs of ValDefsMartin Odersky2015-05-291-1/+1
| | | | Previously was only done for DefDefs. Caused backend failure.
* Fix --show-diff for partestvsalvis2015-05-271-1/+20
|
* Merge pull request #587 from vsalvis/vsalvis-partest-runDmitry Petrashko2015-05-224-77/+125
|\ | | | | Less verbose partest
| * Update-check option for partest, added "do not edit" headervsalvis2015-05-223-31/+66
| |
| * Less verbose partest with compiler output redirected, better --verbose outputvsalvis2015-05-222-31/+35
| |
| * Added partest-only sbt target and less verbose file generationvsalvis2015-05-221-23/+33
| |
| * Partest command line options (same as scala) useable from sbtvsalvis2015-05-221-7/+6
| |
* | Clone scala/scala to ./scala-scala instead of ./scalaDmitry Petrashko2015-05-213-3/+3
|/ | | | Otherwise Intellij stops running JUnit tests correctly. No idea why.
* Move `scala/scala` sources to ./scala/ from ../scala/Dmitry Petrashko2015-05-203-3/+3
| | | | Needed for scala-infra.
* Partest command line options (same as scala) useable from sbtvsalvis2015-05-131-5/+8
|
* Run partest directory as whole by default.Dmitry Petrashko2015-05-132-15/+21
|
* Removing pickle tests because directory doesn't exist anymore.vsalvis2015-05-121-3/+4
|
* More robust partest/test switching for concurrent sbt instancesvsalvis2015-05-121-15/+17
|
* Better documentation for partest dottyJar optionvsalvis2015-05-122-2/+4
|
* Run tests for partestvsalvis2015-05-124-30/+110
|
* Re-enable testsMartin Odersky2015-05-111-4/+4
| | | | | Most tests were still commented out in last merge. Also, an outdated comment in TreeTypeMap was removed.
* Do not try to compile dotty runtime yet. Problems with DottyPredef.Dmitry Petrashko2015-05-081-1/+1
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 16:54:13 +0000