aboutsummaryrefslogtreecommitdiff
path: root/test
Commit message (Collapse)AuthorAgeFilesLines
* Add docs to TestREPLMartin Odersky2016-03-181-0/+8
|
* Move all overridable bits into Config classMartin Odersky2016-03-181-15/+14
| | | | | | Central config class replaces mixture of parameters and fields. The fields were in part in the wrong class, where they could not easily be overridden.
* Add REPL testsMartin Odersky2016-03-183-1/+58
|
* Merge pull request #1166 from dotty-staging/fix-#1136odersky2016-03-181-2/+2
|\ | | | | Fix typing of SeqLiterals
| * Add second field to SeqLiteralMartin Odersky2016-03-101-2/+2
| | | | | | | | | | | | | | The field keeps track of the element type. This is necessary because JavaSeqLiteral is nonvariant and the elements might be empty, so we cannot always compute the type from the element types.
* | Polish rewrite testMartin Odersky2016-03-121-3/+3
| | | | | | | | Remove println; add docs
* | Rewrite testMartin Odersky2016-03-122-1/+19
|/ | | | Test rewritings that were implemented so far.
* Merge pull request #1126 from sjrd/scalajsDmitry Petrashko2016-03-041-1/+1
|\ | | | | Initial infrastructure and hello world for the Scala.js back-end.
| * Store the JSDefinitions in a custom platform SJSPlatform.Sébastien Doeraene2016-03-011-1/+1
| | | | | | | | | | | | This required the ability to instantiate a different `Platform` depending on settings, which, in turn, required to defer the initialization of `ContextBase.platform`.
* | Neg tests: change val computeFilePathsAndExpErrors to defVladimirNik2016-03-031-3/+3
| |
* | Neg tests: remove negTest flag; neg tests are binded to neg directoryVladimirNik2016-03-032-53/+46
| |
* | Neg tests: remove xerror parameter from tests (compute based on // error)VladimirNik2016-03-032-121/+81
| |
* | Merge pull request #1111 from dotty-staging/fix-#1099Dmitry Petrashko2016-03-021-1/+0
|\ \ | |/ |/| Special case pattern matching against abstract types with class tags
| * Remove bogus testMartin Odersky2016-02-201-1/+0
| | | | | | | | | | Tests failures were caused by previous incomplete implementation of classTag.
* | Add a `dotty-interfaces` packageGuillaume Martres2016-02-282-0/+127
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | We introduce a new entry point for the compiler in `dotty.tools.dotc.Driver`: ``` def process(args: Array[String], simple: interfaces.SimpleReporter, callback: interfaces.CompilerCallback): interfaces.ReporterResult ``` Except for `args` which is just an array, the argument types and return type of this method are Java interfaces defined in a new package called `dotty-interfaces` which has a stable ABI. This means that you can programmatically run a compiler with a custom reporter and callbacks without having to recompile it against every version of dotty: you only need to have `dotty-interfaces` present at compile-time and call the `process` method using Java reflection. See `test/test/InterfaceEntryPointTest.scala` for a concrete example. This design is based on discussions with the IntelliJ IDEA Scala plugin team. Thanks to Nikolay Tropin for the discussions and his PR proposal (see #1011).
* | Merge pull request #1112 from dotty-staging/value-classes-private-this-paramDmitry Petrashko2016-02-201-1/+1
|\ \ | |/ |/| Value classes: add support for private[this] parameter
| * fix to neg_valueClasses testVladimirNik2016-02-191-1/+1
| |
* | Merge pull request #1066 from dotty-staging/fix-#997odersky2016-02-191-0/+2
|\ \ | | | | | | Fix #997
| * | Fix expected error countMartin Odersky2016-02-191-1/+1
| | |
| * | Add checking for leaking private definitionsMartin Odersky2016-02-191-0/+2
| |/ | | | | | | First version. Fixes #997.
* | Merge pull request #1072 from dotty-staging/change-isVolatile-2odersky2016-02-191-0/+1
|\ \ | |/ |/| Change is volatile 2
| * Allow Named Arguments in TypeArgsMartin Odersky2016-02-191-1/+1
| | | | | | | | Lets one also pass named arguments to methods.
| * Check named type params for welformedness rules.Martin Odersky2016-02-191-0/+1
| |
* | Merge pull request #1106 from dotty-staging/neg-linesDmitry Petrashko2016-02-191-3/+133
|\ \ | |/ |/| Neg tests check files for // error markers (rebased and updated)
| * Neg tests: filename checking updatedVladimirNik2016-02-181-1/+1
| |
| * Restructured JUnit neg testsvsalvis2016-02-181-50/+107
| |
| * Negtests (JUnit only) check that each error line has a // errorvsalvis2016-02-181-3/+76
| |
* | Merge pull request #898 from dotty-staging/add/auto-uncurryodersky2016-02-181-0/+1
|\ \ | |/ |/| Implement auto tupling of function arguments
| * Strengthen requirement for auto-tuplingMartin Odersky2016-02-161-1/+1
| | | | | | | | | | | | | | Was: corresponding parameter types "are compatible". Now: corresponding parameter types "conform". This avoids the inconsistency mentioned by @retronym in #897.
| * Auto-uncurry n-ary functions.Martin Odersky2016-02-161-0/+1
| | | | | | | | Implements SIP #897.
* | Add checks for value classes:VladimirNik2016-02-161-0/+1
|/ | | | | 1. Add errors in case of incorrect parameter; 2. Improvement to error message if value class is defined as a local class;
* Merge pull request #1076 from dotty-staging/fix/run-tests-memoryDmitry Petrashko2016-02-122-2/+11
|\ | | | | partest: run tests with -Xms64M -Xmx1024M instead of JVM defaults
| * partest: run tests with -Xms64M -Xmx1024M instead of JVM defaultsGuillaume Martres2016-02-112-2/+11
| | | | | | | | | | | | This is the same settings that scalac uses, this should help use avoid using too much memory (the default on 64 bits Linux seems to be -Xms248M -Xmx3938M).
* | Merge pull request #1081 from dotty-staging/fix-#645Dmitry Petrashko2016-02-121-0/+1
|\ \ | | | | | | Add test case for #645
| * | Add test case for #645Martin Odersky2016-02-121-0/+1
| |/
* / Survive class of errors in implicit searchMartin Odersky2016-02-121-0/+1
|/ | | | | | | | An `C.this` term with erroneous class `C` will get a `NoPrefix` type. A subsequent implicit search on this crashed. This is fixed now. Fixes #324.
* By-name parameters are not stable values.Martin Odersky2016-02-091-2/+2
|
* Big realizability refactoringMartin Odersky2016-02-091-6/+7
| | | | | | | Move logic from TypeOps to new file CheckRealizable.scala. Also check realizable fields under strict mode. Check at phase PostTyper rather than Typer to avoid cycles. New tests for imports and deep paths.
* Handle paths of length > 1 for realizability checkingMartin Odersky2016-02-091-1/+1
|
* Drop lines from testMartin Odersky2016-02-091-2/+2
| | | | | | | The lines in question now cause an error ("cannot be instantiated...") which masks the real tests at phase PostTyper. Also adapt bugcount of hklower test
* Check that non-abstract classes have realizable bounds.Martin Odersky2016-02-091-1/+1
|
* Handle imports in path checks.Martin Odersky2016-02-091-1/+1
| | | | | | | | | | If `T` is a member of `p` then { import p._; ... T ... } should be checked in the same way as { ... p.T ... }
* Fix path error disgnasticsMartin Odersky2016-02-091-1/+1
| | | | | Fix wording so that it works for nested errors as well. Incorparte Tiark's latest example.
* Only final lazy vals can be paths.Martin Odersky2016-02-091-1/+2
| | | | | | Reason: They might be overridden by other lazy vals that are not realizable, and therefore risk creating bad bounds.
* Enforce rule that laziness is preserved when overriding.Martin Odersky2016-02-091-2/+2
|
* Reorganize tests to account for new typing of projectionMartin Odersky2016-02-091-5/+6
| | | | | | Tests with failed projections are moved to pos-scala2, which was renamed from pos-special. Files in pos-scala2 are compiled with -language:Scala2 option.
* Also consider type aliases when checking for realizabilityMartin Odersky2016-02-091-0/+1
| | | | Fixes #50.
* Use isRealizable to identify stable prefixesMartin Odersky2016-02-091-1/+1
| | | | | | | Replaces isVolatile, which is too weak (and more complicated). Backwards compatibility with Scala2 is ensured by dropping the requirement in Scala2 mode. Fixes #1047, which now compiles without inifinite recursion.
* Merge pull request #1063 from dotty-staging/fix-#803Dmitry Petrashko2016-02-081-0/+1
|\ | | | | Handle "missing args" case when expected type is a singleton type.
| * Handle "missing args" case when expected type is a singleton type.Martin Odersky2016-02-051-0/+1
| | | | | | | | Fixes #803.
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-12 23:47:47 +0000