aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Allow resolving overloads without inferring views.Dmitry Petrashko2014-11-221-2/+21
|
* readAnnotationContents that should be able to resolve overloaded constructors.Dmitry Petrashko2014-11-221-12/+36
|
* FunProtoTyped to be used when args are known to be typedDmitry Petrashko2014-11-221-0/+10
|
* Fix underlyingIfRepeated always assuming Scala repeated.Dmitry Petrashko2014-11-222-5/+9
|
* Fix TypeErasure.sigName erasing java repeated params to SeqDmitry Petrashko2014-11-221-1/+3
|
* Fix typeAssigner ignoring existence of JavaSeqLiteralDmitry Petrashko2014-11-222-7/+10
|
* Add Id's to types.Dmitry Petrashko2014-11-221-0/+9
| | | | Helps to track where erroneous type was created.
* Fix elimRepeated not transforming annotations.Dmitry Petrashko2014-11-221-0/+29
|
* Testcase that shows bug in ElimRepeated.Dmitry Petrashko2014-11-221-0/+3
|
* Add the right constructor to Java annotationsMartin Odersky2014-11-224-2/+53
|
* Merge pull request #236 from smarter/fix/overridingodersky2014-11-183-1/+22
|\ | | | | Add overriding tests
| * Add tests for the overriding of typesGuillaume Martres2014-11-183-1/+21
| | | | | | | | These tests work correctly since 222e9a478f7b851582550973df6a9d141766e49a
| * Enable pos/overrides.scala in testsGuillaume Martres2014-11-181-0/+1
|/
* Merge pull request #228 from dotty-staging/fix/overridingodersky2014-11-1814-77/+202
|\ | | | | Fix/overriding
| * Check that overriding members refine the types of overridden ones.Martin Odersky2014-11-185-22/+40
| | | | | | | | | | Somehow this was lost in porting (or was this done somewhere else in scalac?).
| * Fixes of reviewers comments.Martin Odersky2014-11-171-6/+2
| |
| * Some fixes to override checking in RefChecks.Martin Odersky2014-11-152-10/+13
| | | | | | | | `override` was not recognized at all on types.
| * Fixes for type argument handling.Martin Odersky2014-11-153-8/+13
| | | | | | | | | | | | | | (1) Type arguments now get a coordinate. (2) They are labeled Override (2) avoids having to special case TypeArgs in OverridingPairs.
| * Fine-tuning override errors for syntehtic companion objectsMartin Odersky2014-11-142-10/+16
| | | | | | | | | | | | | | These may raise real errors, so we cannot exclude them from overriding pairs a priori. But we can avoid reporting any errors if other override errors were reported previously for the same class.
| * Refactored OverridingPairsMartin Odersky2014-11-141-36/+43
| | | | | | | | to make it easier to understand.
| * Fix OverridingPairsMartin Odersky2014-11-149-20/+99
| | | | | | | | | | | | | | | | OverridingPairs had several bugs which caused pairs to be lost, which caused missing overrides checks. Fixing OverridingPairs revealed several test failures (and a problem in Synthetics generation which was fixed in the last commit). Tests that became negative are all moved into neg/overrides.scala, and the original versions in pos were fixed.
| * Refine merge of nullary and parameterless denotations.Martin Odersky2014-11-141-1/+12
| | | | | | | | | | | | | | | | | | | | Previously, two denotations with types => T and ()T could not be merged, only their types could be, but then the denotation would no longer be a SymDenotation. We now treat the two types as equivalent so that it will select the symbol in a subclass. This fixes a problem where, once overrding pairs are made to work (see following commit), in core/Types we get an error "overriding final method "hashCode".
* | Merge pull request #230 from dotty-staging/fix/and-or-subtypingodersky2014-11-182-2/+74
|\ \ | | | | | | Try to avoid overconstraining when comparing and/or types
| * | Fixed typosMartin Odersky2014-11-182-4/+1
| | |
| * | Restored accidentally deleted test code.Martin Odersky2014-11-181-0/+6
| | |
| * | Try to avoid overconstraining when comparing and/or typesMartin Odersky2014-11-163-19/+76
| | | | | | | | | | | | | | | See comments in eitherIsSubType for an explanation what the problem is. Some test cases are in subtyping.scala
* | | Merge pull request #229 from dotty-staging/change/typevar-printingDmitry Petrashko2014-11-171-2/+5
|\ \ \ | | | | | | | | When printing uninstantiated type variables, include their bounds.
| * | | When printing uninstantiated type variables, include their bounds.Martin Odersky2014-11-161-2/+5
| |/ /
* | | Merge pull request #233 from dotty-staging/cleanup/testsDmitry Petrashko2014-11-1711-35/+3
|\ \ \ | | | | | | | | Moved pending tests that work into pos and neg.
| * | | Moved pending tests that work into pos and neg.Martin Odersky2014-11-1711-35/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | | | One test (t2613) required lifting a hard recursion limit in findMember (used for debug only, will be removed in the future). The same test also requires -Yno-deep-subtypes to be reset, so it's in pos_special instead of pos.
* | | | Merge pull request #234 from smarter/try/jvm-tuningDmitry Petrashko2014-11-172-1/+11
|\ \ \ \ | |/ / / |/| | | Add option to optimize the JVM for short-runnning applications
| * | | Add option to optimize the JVM for short-runnning applicationsGuillaume Martres2014-11-172-1/+11
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Ideally, dotc should reuse a resident compiler and we should not fork sbt for every task. Until this happens, this option is useful for development. Fixes #222. Usage: $ sbt -DOshort="" $ ./bin/dotc -Oshort foo.scala
* | | | Merge pull request #227 from dotty-staging/patmatch/productArityDmitry Petrashko2014-11-171-16/+16
|\ \ \ \ | | |_|/ | |/| | Rename productArity in pattern matcher to prodArity
| * | | Rename productArity in pattern matcher to prodArityMartin Odersky2014-11-141-16/+16
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | productArity is a method defined in ProductN which is inherited from case classes. It is possible that it will be usewd in the implementation of pattern matching in the future. The previous implementation used the same name to mean something else: Not the arity of the case class itself but the arity of the pattern/type it represented. Renaming to prodArity avoids the confusion.
* | | | Merge pull request #223 from dotty-staging/fix/elimRepeatedTransformSymDmitry Petrashko2014-11-157-14/+39
|\ \ \ \ | |_|_|/ |/| | | Avoid forcing infos of some symbols in InfoTransforms
| * | | Avoid computing info of TypeRefs for Object <-> Any comversions in ↵Martin Odersky2014-11-132-8/+17
| | | | | | | | | | | | | | | | | | | | | | | | ClassfileParser Another bit to help avoid CyclicReferences when reading Java classes
| * | | Setting travis to use oracle jdk8Dmitry Petrashko2014-11-121-1/+1
| | | |
| * | | Avoid forcing infos of some symbols in InfoTransformsMartin Odersky2014-11-124-5/+21
| | |/ | |/| | | | | | | | | | Provides the "mayChange" hook to exclude symbols from being completed prior to a transformInfo.
* | | Merge pull request #225 from dotty-staging/fix/ensuringDmitry Petrashko2014-11-143-3/+12
|\ \ \ | | |/ | |/| Fixes problem exhibited by ensuring.scala
| * | Fixes problem exhibited by ensuring.scalaMartin Odersky2014-11-133-3/+12
|/ / | | | | | | | | Need to account for the possibility that function arguments are wrapped in braces.
* | Merge pull request #224 from dotty-staging/refactor/treeTransformInitsDmitry Petrashko2014-11-137-392/+420
|\ \ | |/ |/| Refactor/tree transform inits
| * Eliminate global state in LambdaLiftMartin Odersky2014-11-121-314/+311
| | | | | | | | | | State moved into local transforms which are allocated one per unit. Thsi allows lambda lifters on different units to run in parallel.
| * Make CapturedVars a functional transform.Martin Odersky2014-11-121-69/+72
| | | | | | | | No global side effect on capturedVars anymore.
| * Remove init method from TreeTransformMartin Odersky2014-11-121-6/+1
| | | | | | | | Do not lead to temptation...
| * Make CaptguredVars use prepareForUnit instead of init.Martin Odersky2014-11-121-10/+15
| | | | | | | | | | | | | | | | Required some refactoring. Instead of transformSym we now transform ValDefs as we prepare for them. The previous scheme could not control directly whetrher transformSym or collectCaptured would run first. Turns out that init ran before collectCaptured but prepareForUnit did not, leading to test failures in pos/capturedvars.
| * Replaced overridden init methods with prepareForUnit.Martin Odersky2014-11-124-10/+19
| | | | | | | | | | | | | | This allows to move to a functional implementation later. Only exception: CapturedVars still uses init() because it contains a (dubious!) interaction with intialization and transformSym. Looking at this next.
| * Added methods to prepare-for and transform a complete compilation unit tree.Martin Odersky2014-11-122-9/+28
|/ | | | Should replace destructive inits.
* Merge pull request #220 from dotty-staging/refactor/DefTreesDmitry Petrashko2014-11-1132-556/+433
|\ | | | | Refactor/def trees
| * Factored out Positioned into separate file.Martin Odersky2014-11-114-131/+136
| |
| * Make withMods produce Untyped treesMartin Odersky2014-11-101-7/+4
| | | | | | | | | | withMods should never be used to produce a typed tree, because typed member defs get their modifiers from their symbols.
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 07:54:21 +0000