aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* fix calls to tree copier that now requires multiple parameter listsOndrej Lhotak2014-11-221-2/+2
|
* Flags.Static renamed to JavaStaticOndrej Lhotak2014-11-221-8/+8
|
* remove debugging printlnOndrej Lhotak2014-11-221-3/+1
|
* add comment to explain why refctx passed explicitly to selectionTypeOndrej Lhotak2014-11-221-0/+2
|
* add comment explaining why checkValue skips Java compilation unitsOndrej Lhotak2014-11-221-0/+2
|
* add mapping ENUM -> Enum to PickleBufferOndrej Lhotak2014-11-221-1/+2
|
* make elimrepeated addVarArgsBridge at thisTransformer instead of ↵Ondrej Lhotak2014-11-221-1/+0
| | | | thisTransformer.next
* Java Select: try typing as both SelectFromTypeTree and SelectOndrej Lhotak2014-11-221-5/+36
|
* desugar Java repeated parms into an Array instead of SeqOndrej Lhotak2014-11-224-12/+14
|
* Initial implementation of Java scanner and parserOndrej Lhotak2014-11-229-204/+1794
| | | | | | | | | | | | | Ported from scalac 2.11.x branch SHA 9753f23f9362b25a9f481b11dd8d51187187882a This is mostly a direct port, with few significant dotty-specific changes needed. The two more significant changes are: In dotty, the first constructor of a class is pulled out separately from the other stats in the Template. The keyword detection code (buildKeywordArray) was moved into Tokens so that it can more cleanly be shared by the Scala and Java scanners.
* Show full name of doubly defined symbolsDmitry Petrashko2014-11-221-2/+2
|
* Allow checking that trees and their defined symbols have modifiers in sync.Dmitry Petrashko2014-11-222-2/+14
|
* #204 check for global uniqueness of definitions.Dmitry Petrashko2014-11-221-10/+19
| | | | | Check now fails after erasure. Should become error after fixed.
* Rename PolyType.copy method. It clashes with generated one.Dmitry Petrashko2014-11-222-3/+3
| | | | See #209 for explanation.
* Fix ElimRepeated not transforming modifiers in tree.Dmitry Petrashko2014-11-222-3/+6
|
* Dotty typer deviation triggered in UnpicklerDmitry Petrashko2014-11-221-1/+2
|
* Infer if overloading resolution should trigger implicit search.Dmitry Petrashko2014-11-222-35/+30
| | | | This doesn't require additional argument. Decision can be made solely from the phaseId.
* Fix StackOveflow due to implicit resolution in readAnnotationContentsDmitry Petrashko2014-11-221-1/+1
|
* 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
|
* Add the right constructor to Java annotationsMartin Odersky2014-11-223-2/+42
|
* Merge pull request #228 from dotty-staging/fix/overridingodersky2014-11-187-73/+108
|\ | | | | Fix/overriding
| * Check that overriding members refine the types of overridden ones.Martin Odersky2014-11-183-21/+28
| | | | | | | | | | 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-142-16/+16
| | | | | | | | | | | | | | | | 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-181-2/+61
|\ \ | | | | | | Try to avoid overconstraining when comparing and/or types
| * | Fixed typosMartin Odersky2014-11-181-1/+1
| | |
| * | Try to avoid overconstraining when comparing and/or typesMartin Odersky2014-11-161-2/+61
| | | | | | | | | | | | | | | 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
| |/ /
* | | Moved pending tests that work into pos and neg.Martin Odersky2014-11-171-1/+1
| | | | | | | | | | | | | | | | | | | | | 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 #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-156-13/+38
|\ \ | |/ |/| 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
| * 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.
* | Fixes problem exhibited by ensuring.scalaMartin Odersky2014-11-132-3/+12
| | | | | | | | | | Need to account for the possibility that function arguments are wrapped in braces.
* | 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.
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-17 19:46:48 +0000