aboutsummaryrefslogtreecommitdiff
path: root/test
Commit message (Collapse)AuthorAgeFilesLines
* Add spaces around + in dotty source.Dmitry Petrashko2015-04-094-6/+6
|
* Remove trailing spaces in Dotty source.Dmitry Petrashko2015-04-091-2/+2
|
* Replace tabs with 4 spaces in Dotty source.Dmitry Petrashko2015-04-091-1/+1
|
* Make all Dotty source files end in newline.Dmitry Petrashko2015-04-095-5/+5
|
* Disabled -Yno-double-bindings for a neg test.Martin Odersky2015-04-091-1/+1
| | | | | | The test introduced a double definition, which led to a double binding. With -Yno-double-bindings this cauases an assertion violation instead of a reported error.
* Make -Yno-double-bindings the default for all tests.Martin Odersky2015-04-091-3/+3
|
* Rename -YnoDoubleBindings to -Yno-double-bindingsMartin Odersky2015-04-091-3/+3
| | | | | | | This aligns with the "-" instead of CamelCase convention for the other command line options. Also, enable -Yno-double-bindings for dotc_core.
* Change of TERMREFsymbol/TYPEREFsymbol semanticsMartin Odersky2015-04-071-3/+2
| | | | | | | | | | | | | | | | | | | | | Used to be "with fixed sym". Now it is: With initial symbol as given in the serialized info. It turns out the only previous uses of (TERM|TYPE)REFsymbol were types that were made symbolic in self types. But exactly that caused that problems in unpickling which we tried to workaround by changing WithFixedSym#newLikeThis. And these fixes became less and less intuitive and still could not solve the problem for good. Last hurdle was pickle-testing all files in ast together. It's much simpler to reserve (TERM|TYPE)REFsymbol for NamedTypes that have an initial symbol. Like the previous "WithFixedSym" pickling, this avoids inifinite recursions in pickling/extmethods.scala. But it also avoids problens with unpickling ast/*.scala. The reason it is better is that it more accurately models that types that exist before pickling. This change also undoes previous changes to WithFixedSym#newlikeThis. Better to keep the more restrictive contract for these.
* Some more pickling testsMartin Odersky2015-04-071-0/+2
|
* Reduced coverage of twice testsMartin Odersky2015-04-071-7/+7
| | | | | | | | ... in order to save some time. On my laptop: Without twice: 175sec With full twice as in last commit: 220sec With reduced twice: 188sec
* Test stillValid at initial phase, revive -twiceMartin Odersky2015-04-071-49/+49
| | | | | | | | | | | | | | stillValid should always be tested at the phase where the initial denotation is defined. If we do not do this we get false stale symbol errors. Here is a scenario: To `bringForward` `Predef$$ArrowAsscoc`, we check whether its initial denotation has an owner which contains the denotation as one of its members. But if we do this at a later phase (e.g. GenBCode), the owner of the initial denotation is Predef, but Predef no longer contains ArraoAssoc - it lost the member at flatten. With this fix we can run everything with -twice, except dotc_core. I left a comment what goes wrong there.
* Fixed test failure for core_pickling.Martin Odersky2015-04-031-1/+1
| | | | | When reading external symbols from class Object, need to consider members of Any as well.
* #435 Fix conflict between package object and case class with same nameDmitry Petrashko2015-03-261-1/+1
|
* Fixing conflicts between #361 and #394Dmitry Petrashko2015-03-181-1/+0
|
* Pickling test reorgMartin Odersky2015-03-181-2/+4
| | | | | | | | Move pickling tests into separate top-level test directory. That way they are not needlessly pos-tested before. Also, disable core tests for now - after rebasing we get a stale symbol error. Need to investigate that.
* Two more tweaks to make pickling invariant under printingMartin Odersky2015-03-181-0/+1
| | | | | | | | | 1) DefDefs with implicit method types generate implicit parameters 2) Super accessors are inserted after class parameters. With these changes files in core also print the same after pickling, with the exception of Types and TypeOps which have some spurious differences: Types are equal but appear in more simplified form after pickling.
* Homogenize package ids and literalsMartin Odersky2015-03-181-3/+8
| | | | | | | | | The unpickled term in a package id is different from the original but the type is the same. In a literal prefer constants in the types over thsoe in the terms. With this change, we get identical typed tree output also for core/pickled.
* Harmonize treatment of simplified between typer and unpicklerMartin Odersky2015-03-181-1/+1
| | | | | | | | We got some spurious differences in the types in TemplateParents because simplification was done in Typer but not in Unpickler. With the change we get perfect matches for all files in pickleOK also if we print their types.
* Add pickling testsMartin Odersky2015-03-181-1/+4
| | | | Some pickling tests are now run on every check in.
* Avoid print-types being on by default in testingMartin Odersky2015-03-181-1/+1
|
* Make some tree fields lazyMartin Odersky2015-03-181-6/+6
| | | | | | | | | | | | | | | | Lazy fields are - the rhs field of a ValDef or DefDef - the body field of a Template These can be instantiated with Lazy instances. The scheme is such that lazy fields are completely transparent for users of the Trees API. The only downside is that the parameter used to initialize a potentially lazy field has a weak type (now it's Any, with Dotty it would be a union type of the form `T | Lazy[T]`. Therefore, the parameter cannot be recovered through pattern matching.
* Disallow refinements of types or methods that do not appear in parent.Martin Odersky2015-03-181-12/+5
| | | | | | | | We planned this for a long time but never implemented it. Instead, we sometimes issued an erro in Splitter, namely if reflection would have been needed to access the member. It turns out that some tests (e.g. neg/t625) fail -Ycheck (we knew that before and disabled) but also fail Pickling because they generate orhpan PolyParams. So rather than patching this up it seems now is a good time to enforce the restriction for real.
* Disable dotc_ast. It fails randomlyDmitry Petrashko2015-03-181-1/+2
|
* Update tests to show current errors revealed by backend.Dmitry Petrashko2015-03-181-26/+37
|
* Enabled genBCode for `doc_parsing`. Proceeding with `dotc_tranform`.Dmitry Petrashko2015-03-181-8/+9
|
* Enable all pos tests for backend.Dmitry Petrashko2015-03-111-3/+5
| | | | compiling dotty is stil WIP
* The fold reverses the order of the typed strings.Nada Amin2015-03-061-1/+1
|
* FullParameterization: fix rewiring of ReturnsGuillaume Martres2015-03-021-0/+1
| | | | | The `from` field of a Return tree should either be EmptyTree or an Ident corresponding to the method we're returning from.
* Type stealer that allows to steal types after typerDmitry Petrashko2015-02-171-0/+32
| | | | | Proposed to be used from repl: it gives you internal representation of types after frontend and a context to play with them
* Add dotty repl & type stealerDmitry Petrashko2015-02-171-0/+25
| | | | | | | | | | Dotty requires a mangled bootclasspath to start. It means that `console` mode of sbt doesn't work for us. At least I wasn't able to make sbt fork in console, so instead I've added a Scala-repl into dotty itself :-) It would be good to make it use dotty one day when we have a backend :-)
* Merge pull request #359 from dotty-staging/fix/erasure-lub-alternativeDmitry Petrashko2015-02-131-1/+1
|\ | | | | Fix/erasure lub alternative
| * Disable backend for dotc_printing need to find out why it fails.Dmitry Petrashko2015-02-131-1/+1
| | | | | | | | Will do it in a different PR.
* | Added test to TreeChecker that guards against orphan parameters.Martin Odersky2015-02-111-1/+1
| | | | | | | | | | | | | | | | | | | | | | Currently, tests fail. The failures I checked are all related to tailcalls. Not sure whether there are others. This is a blocker for serialization. Orphan parameters cannot be serialized. Maybe rethink the position of tailcalls? It looks to me that the repeated trouble it gives us is more than the effort required to put an efficient tailcall recognition after pattern matching in place. But I might be wrong.
* | Prevent block types with references to local symbolsGuillaume Martres2015-02-111-0/+2
| |
* | Java methods: JavaMethodType instead of MethodType, convert Object to AnyOndrej Lhotak2015-02-071-0/+1
|/ | | | | | | | | | Fixes two bugs needed for java-override test: Namer was creating a MethodType instead of a JavaMethodType even though the JavaDefined flag was set on the DefDef. Following Scalac, Namer needs to convert Java method parameters of type j.l.Object to s.Any.
* More negative override testsMartin Odersky2015-02-071-1/+1
|
* New spec and implementation for matching.Martin Odersky2015-02-071-1/+1
| | | | | Reformulated matchign spec and implemented accordingly. Previous fix for #329 would have missed third new error case in over.scala.
* Fix of #329.Martin Odersky2015-02-071-2/+2
| | | | Overriding pairs needs to match ExprTypes with field types. Closes #329.
* Test reorgMartin Odersky2015-02-071-1/+1
|
* New test: moduleSubtypingMartin Odersky2015-01-141-0/+1
| | | | Tests (non)equivalence of modules and their ThisTypes.
* Simplify and fix bounds propagation in constraints.Martin Odersky2015-01-081-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | The previous scheme did not ensure that transitivity was eliminated. Example scenario: We have in the constraint P <: Q for constrained variables P, Q and add Q <: T Previous propagation added the constraint and then tested whether the bounds of all variables were satisfiable. For Q we test P <: T but that is true because P <: Q and we already added the constraint Q <: T. So we fail to add the constraint P <: T, and transitivity is no longer eliminated. Instead we now test the new bounds (in this case P <: T) *before* adding the new constraint Q <: T. This is also simpler than the previous scheme.
* Fixed bug that caused error message to be suppressed.Martin Odersky2015-01-081-3/+0
| | | | | | Symptom was: When compiling Definitions.scala with the changes in the subsequent commits, an empty tree was passed as implicit parameter, without an "implicit not found" error being reported. The problem needed a fix in TyperState.
* Disable context escape detectionMartin Odersky2014-12-191-2/+3
| | | | | | | | | I get very frequent build failures due to the mutual Scala<->Java dependency. It builds for a long time, then decides that getCtx overrides nothing. The only way to fix is another clean build. Total time lost: >5 minutes. These happened occasionally before but have become much more frequent under ScalaIDe4.0, to the point where this becomes a major drag on productity. Context escape detection is nice but if it stops us getting work done, not worth the effort.
* Treat i0239 specially. It shows some problems that could be of interest.Dmitry Petrashko2014-12-171-0/+1
|
* Enable backend specific tests. Flag those that failDmitry Petrashko2014-12-161-15/+25
|
* Label test with nested cycles and simple patterns.Dmitry Petrashko2014-12-161-0/+1
|
* Update class-path dependant tests. Disable one.Dmitry Petrashko2014-12-161-3/+5
|
* Add test for backend.Dmitry Petrashko2014-12-161-1/+3
|
* Disable backend by default in tests.Dmitry Petrashko2014-12-161-1/+5
|
* Erasure is on by default.Dmitry Petrashko2014-12-161-30/+30
| | | | Remove historical enabling of erasure for some tests: its enabled by default now
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 21:02:56 +0000