summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
| | * | | | | | Added more variants to achieve getLinkPosMartin Odersky2012-07-311-4/+15
| | |/ / / / / | | | | | | | | | | | | | | | | | | | | | getLinkPos is known to be flakey. This commit tries some variants and logs what failed.
| * | | | | | Merge pull request #1024 from paulp/topic/type-printingJosh Suereth2012-07-312-12/+18
| |\ \ \ \ \ \ | | |/ / / / / | |/| | | | | Fixed maddening "..." lately in printed types.
| | * | | | | Checkfile update.Paul Phillips2012-07-301-10/+10
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | I screwed around with type printing for a long time and now I have to be done, so I suggest we accept the imperfection in here for now because it's still way ahead of "..." as types go.
| | * | | | | Fixed maddening "..." lately in printed types.Paul Phillips2012-07-301-2/+8
| | | |_|/ / | | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | This must have been me when I eliminated some of the remaining distinction between TypeRef(_, moduleClass, Nil) and SingleType(_, moduleClass). Sorry I didn't track it down sooner. Review by anyone who is around because this is overdue.
| * | | | | Merge pull request #1020 from odersky/ticket/5866Josh Suereth2012-07-303-2/+23
| |\ \ \ \ \ | | | | | | | | | | | | | | SI-5866 Support casting null to value classes
| | * | | | | SI-5866 Support casting null to value classesMartin Odersky2012-07-303-2/+23
| | | | | | | | | | | | | | | | | | | | | | | | | | | | The fix now supports null.asInstanceOf[C] where C is a value class that wraps a primitive type.
| * | | | | | Merge pull request #1018 from scalamacros/topic/classtag-of-nothingJosh Suereth2012-07-302-32/+37
| |\ \ \ \ \ \ | | | | | | | | | | | | | | | | ClassTag.Nothing now throws an exception
| | * | | | | | ClassTag.Nothing now throws an exceptionEugene Burmako2012-07-302-32/+37
| | |/ / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | Nothing is a bottom type, so it doesn't make much sense for it to have a meaningful erasure (ClassTag.Nothing.runtimeClass).
| * | | | | | Merge pull request #1016 from hubertp/2.10.x-issue/5031Josh Suereth2012-07-308-5/+28
| |\ \ \ \ \ \ | | | | | | | | | | | | | | | | Fixed SI-5031. Only consider classes when looking for companion class.
| | * | | | | | Fixed SI-5031. Only consider classes when looking for companion class.Hubert Plociniczak2012-07-308-5/+28
| | |/ / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | sym.effectiveOwner revealed this piece of inconsistency. companionModule is fine because similar check is there already. Review by @paulp.
| * | | | | | Merge pull request #1011 from odersky/ticket/5882Josh Suereth2012-07-305-0/+41
| |\ \ \ \ \ \ | | | | | | | | | | | | | | | | Closes SI-5882
| | * | | | | | SI-5799 Secondary constructors in value classes not allowedMartin Odersky2012-07-293-2/+18
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | I changed the SIP and added a test.
| | * | | | | | Closes SI-5882Martin Odersky2012-07-283-1/+26
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | I have added a restriction that value classes may not contain inner classes or objects. This makes sense as the "outer" field of any such classes or objects would be ephemeral, with surprising results. SIP-15 has been changed accordingly.
| * | | | | | | Merge pull request #981 from adriaanm/ticket-2038Josh Suereth2012-07-302-1/+8
| |\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | SI-2038 make pt fully-defined when typing Typed
| | * | | | | | | SI-2038 make pt fully-defined when typing TypedAdriaan Moors2012-07-232-1/+8
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | dropExistential turns existentials in the expected type (pt) that's passed to `typed` into `BoundedWildcardType`s, but those should not end up in trees when typing a `Typed` node, we didn't check for the type being fully defined (`isFullyDefined`) (and thus did not make it fully defined by turning these BWTs into existentials again using `makeFullyDefined`)
| * | | | | | | | Merge pull request #960 from clhodapp/remove-resolve-overloadedJosh Suereth2012-07-3011-647/+0
| |\ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | Remove resolveOverloaded
| | * | | | | | | | Removed resolveOverloadedclhodapp2012-07-3011-647/+0
| | | |_|_|/ / / / | | |/| | | | | | | | | | | | | | | | | | | | | | | | It was decided to remove it until the next release
| * | | | | | | | Merge pull request #1015 from hubertp/2.10.x-issue/5603Josh Suereth2012-07-305-39/+107
| |\ \ \ \ \ \ \ \ | | |/ / / / / / / | |/| | | | | | | Fixed SI-5603. Early definitions now get transparent positions.
| | * | | | | | | Fixed SI-5603. Early definitions now get transparent positions.Hubert Plociniczak2012-07-305-39/+107
| | | |_|/ / / / | | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This includes a fix for a minor problem described in #594 - ensureNonOverlapping still focuses on default position when outside of early defs. Review by @dragos, @odersky.
| * | | | | | | Merge pull request #998 from odersky/topic/bootpackagesJosh Suereth2012-07-301-1/+13
| |\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | Avoids loading scala.package and scala.reflect.package from source if a ...
| | * | | | | | | Avoids loading scala.package and scala.reflect.package from source if a ↵Martin Odersky2012-07-261-1/+13
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | classfile exists. We know that loading these packages from source leads to compilation errors. To reproduce: Update scala.reflect.package, make sure it is on the source path and recompile anything using it. You will get a number of errors having to do with ClassTags and macro expansions. With the patch, these errors go away because the package is not loaded as long as a classfile exists.
| * | | | | | | | Merge pull request #1013 from odersky/ticket/5878odersky2012-07-303-2/+30
| |\ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | Closes SI-5878
| | * | | | | | | | Closes SI-5878Martin Odersky2012-07-293-2/+30
| | | |_|_|/ / / / | | |/| | | | | | | | | | | | | | | | | | | | | | | | We need to impose an additional rule on value classes: They may not unbox directly or indirectly to themselves.
| * | | | | | | | Merge pull request #1005 from odersky/topic/worksheetodersky2012-07-3012-72/+266
| |\ \ \ \ \ \ \ \ | | |_|_|/ / / / / | |/| | | | | | | IDE improvements, with particular focus on making worksheets work.
| | * | | | | | | New Worksheet mixing schemeMartin Odersky2012-07-275-100/+196
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Debug changes
| | * | | | | | | Raw string interpolatorMartin Odersky2012-07-273-4/+24
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Adds a raw string interpolator raw"..." which does not do any escape sequence processing.
| | * | | | | | | Adds method askForResponseMartin Odersky2012-07-273-2/+31
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Adds method askForResponse which returns a response immediately instead of waiting for a result. That way, one can wait for an ask's result using a timeout.
| | * | | | | | | Disable interrupts during code instrumentationMartin Odersky2012-07-271-4/+8
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Code instrumentation needs to see a consistent snapshot of a source file. To achieve that we disable interrupts during getInstrumented.
| | * | | | | | | New Executor.Martin Odersky2012-07-273-4/+49
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | To try it out: run "instrument worksheet" as usual in the REPL. Worksheet needs to have enclosing object definition. Say it is named "Obj". This will generate a file Obj$instrumented. You can compile that file separately and run it using Java. It should reproduce itself.
| * | | | | | | | Merge pull request #997 from dragos/ide/range-positions-in-script-sourcesJosh Suereth2012-07-291-1/+1
| |\ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | `ScriptSourceFile` should not hard-code `OffsetPosition`.
| | * | | | | | | | `ScriptSourceFile` should not hard-code `OffsetPosition`.Iulian Dragos2012-07-261-1/+1
| | | |_|/ / / / / | | |/| | | | | | | | | | | | | | | | | | | | | | | | The presentation compiler should support script source files as well, but it needs range positions. This commit fixes an oversight when `RangePosition` was introduced.
| * | | | | | | | Merge pull request #996 from gkossakowski/instrumentation-fixesJosh Suereth2012-07-295-3/+35
| |\ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | Partest instrumentation fixes
| | * | | | | | | | Fix `Instrumentation.getStatistics` method in partest.Grzegorz Kossakowski2012-07-262-2/+12
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The previous implementation was wrong because it would always enable profiling after call to `Instrumenation.getStatistics` method. Now we are checking the profiling status and enable it again only when it was enabled before. Review by @phaller.
| | * | | | | | | | Instrument all classes in `instrumented` package.Grzegorz Kossakowski2012-07-263-1/+23
| | |/ / / / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Extend instrumenting infrastructure to instrument classes in `instrumented` package. This is useful because very often you need to put your classes into non-empty package. E.g. inliner doesn't work properly with empty package at the moment so in order to test any behaviour we need to put classes in some other package that is instrumented. Added testing code for that to instrumentation test-case. Review by @phaller.
| * | | | | | | | Merge pull request #990 from VladUreche/issue/6140Josh Suereth2012-07-293-1/+20
| |\ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | SI-6140 Scaladoc infinite recursion in wiki parser
| | * | | | | | | | SI-6140 Scaladoc infinite recursion in wiki parserVlad Ureche2012-07-253-1/+20
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | introduced by dc70d1b7.
| * | | | | | | | | Merge pull request #988 from paulp/issue/4560Josh Suereth2012-07-299-73/+115
| |\ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | Issue/4560
| | * | | | | | | | | SI-4560 - improved testJohannes Rudolph2012-07-243-30/+52
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Added all the known cases of failing self-types. Added tests for symbol access (SI-4601) as well which should now be fixed for all of the same cases as well.
| | * | | | | | | | | Revert "tentative fix for RC5 lift build problem."Johannes Rudolph2012-07-242-6/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This reverts commit cb4fd65825f3c88908103e48d0d7e89d70d26c22. Conflicts: src/compiler/scala/tools/nsc/symtab/Types.scala src/compiler/scala/tools/nsc/typechecker/Contexts.scala
| | * | | | | | | | | Revert "Closes #4560. Review by dragos." (introduction of safeREF)Johannes Rudolph2012-07-241-32/+15
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This reverts commit 124cf3f9cbdc582a432c13edd229ba9b8726b99f. Conflicts: src/compiler/scala/tools/nsc/transform/CleanUp.scala
| | * | | | | | | | | Revert fix part of "Closes 4560. Review by dragos."Johannes Rudolph2012-07-241-6/+6
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This reverts commit 7127d8293775905acd0d04e21d9e045b5c029261. Conflicts: test/files/run/t4560.scala
| | * | | | | | | | | Fix SI-4560, NoSuchMethodErrors involving self types.Paul Phillips2012-07-243-5/+45
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Following this commit are reversions of three prior commits which introduced difficulties of their own, plus extra tests for this issue and SI-4601, all of which I pinched from jrudolph. Maybe there was a good reason for some of the complicated code related to this ticket. I took the naive position that if we avoided generating a method call to a particular receiver if the receiver has no such method, we would encounter fewer NoSuchMethodErrors. I would believe one can construct a scenario which this doesn't handle correctly, but it's hard to believe this isn't a big improvement. Review by @jrudolph, @odersky.
| * | | | | | | | | | Merge pull request #1002 from magarciaEPFL/fixes210Paul Phillips2012-07-285-5/+33
| |\ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | SI-6142: warn @inline-methods ending up not inlined (rightfully or not)
| | * | | | | | | | | | SI-6142: warn @inline-methods ending up not inlined (rightfully or not)Miguel Garcia2012-07-265-5/+33
| | | |_|/ / / / / / / | | |/| | | | | | | |
| * | | | | | | | | | Merge pull request #991 from adriaanm/ticket-5958Paul Phillips2012-07-282-0/+17
| |\ \ \ \ \ \ \ \ \ \ | | |_|_|_|_|_|_|_|_|/ | |/| | | | | | | | | SI-5958 This deserves a stable type
| | * | | | | | | | | SI-5958 This deserves a stable typeAdriaan Moors2012-07-262-0/+17
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | `this` (or the self variable) passed as an actual argument to a method should receive a singleton type when computing the method's resultType this is necessary if the method's type depends on that argument
| * | | | | | | | | | Merge pull request #1010 from odersky/ticket/6029Paul Phillips2012-07-282-24/+43
| |\ \ \ \ \ \ \ \ \ \ | | |_|_|_|_|_|/ / / / | |/| | | | | | | | | Closed SI-6029 ...
| | * | | | | | | | | Closed 6029 ...Martin Odersky2012-07-282-24/+43
| |/ / / / / / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | ... in a less nice way than I would like. Essentially, we mask type errors at later stages that arise from comparing existentials and skolems because we know that they are not tracked correctly through all tree transformations. Never mind that all these types are going erased anyway shortly afterwards. It does not smell nice. But as I write in the comment, maybe the best way out is to avoid skolems altogether. Such a change by far exceeds the scope of this pull request however.
* | | | | | | | | | Merge pull request #1021 from paulp/issue/6154Josh Suereth2012-07-303-4/+15
|\ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | Fix for SI-6154, VerifyError originating in uncurry.
| * | | | | | | | | | Fix for SI-6154, VerifyError originating in uncurry.Paul Phillips2012-07-303-4/+15
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Lhs still might be an Ident. Miguel did all the work, I just wrote it down in code form.