Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | Annotations have JavaSeqLiterals inside. | Dmitry Petrashko | 2014-11-22 | 1 | -1/+1 | |
| | | ||||||
| * | Java annotations parsing problem | Dmitry Petrashko | 2014-11-22 | 1 | -1/+5 | |
| | | | | | | | | | | | | | | | | | | | | Annotations in java could be compiled as-if array-only annotation had <repeated> arguments constructor. That isn't true for scala. Also, type checking creation of single-element array requires implicit resolution to provide ClassTag. This makes problems while reading deferred annotation. | |||||
| * | Extracting ApplyOverloaded to be reused in UnPickler and ClassfileParser | Dmitry Petrashko | 2014-11-22 | 4 | -16/+37 | |
| | | ||||||
| * | AnnotationTransformer now also transforms types | Dmitry Petrashko | 2014-11-22 | 2 | -4/+32 | |
| | | | | | | | | | | | | | | Required as gettersAndSetters ignores modifiers in tree and uses ones in the type instead. This means that gettersAndSetters carries over modifiers from type to tree and this one violates postconditions. | |||||
| * | Extract AnnotationTransformer functionality from ElimRepeated to a trait | Dmitry Petrashko | 2014-11-22 | 2 | -37/+40 | |
| | | | | | | | | to be reused by FirstTransform | |||||
| * | don't try to make a body for a setter of a Java field | Ondrej Lhotak | 2014-11-22 | 1 | -1/+1 | |
| | | | | | | | | | | | | | | | | transformSym explicitly checks that a field is JavaDefined and does not create a symbol for it. Creation of a setter body looks for the symbol and fails because it does not find it. We do not need setter bodies for Java fields because we are not generating bytecode for them. | |||||
| * | create dummy first constructor for Java classes | Ondrej Lhotak | 2014-11-22 | 4 | -22/+26 | |
| | | | | | | | | | | | | The dummy constructor is needed so that the real constructors see the import of the companion object. The constructor has a parameter of type Unit so that no Java code can call it. | |||||
| * | For Java constructors, do not move out to ctx.outer | Ondrej Lhotak | 2014-11-22 | 1 | -1/+4 | |
| | | | | | | | | A Java constructor needs to see the import of the companion object of the class. It is not necessary to move to an outer context because a Java constructor does not have an implementation. scalac also does it this way: see Namers.Namer.createNamer.isConstrParam. | |||||
| * | make annotation classes abstract (since they are interfaces) | Ondrej Lhotak | 2014-11-22 | 1 | -1/+1 | |
| | | ||||||
| * | fix calls to tree copier that now requires multiple parameter lists | Ondrej Lhotak | 2014-11-22 | 1 | -2/+2 | |
| | | ||||||
| * | Flags.Static renamed to JavaStatic | Ondrej Lhotak | 2014-11-22 | 1 | -8/+8 | |
| | | ||||||
| * | remove debugging println | Ondrej Lhotak | 2014-11-22 | 1 | -3/+1 | |
| | | ||||||
| * | add comment to explain why refctx passed explicitly to selectionType | Ondrej Lhotak | 2014-11-22 | 1 | -0/+2 | |
| | | ||||||
| * | add comment explaining why checkValue skips Java compilation units | Ondrej Lhotak | 2014-11-22 | 1 | -0/+2 | |
| | | ||||||
| * | add mapping ENUM -> Enum to PickleBuffer | Ondrej Lhotak | 2014-11-22 | 1 | -1/+2 | |
| | | ||||||
| * | make elimrepeated addVarArgsBridge at thisTransformer instead of ↵ | Ondrej Lhotak | 2014-11-22 | 1 | -1/+0 | |
| | | | | | | | | thisTransformer.next | |||||
| * | support running java-interop tests | Ondrej Lhotak | 2014-11-22 | 12 | -4/+11 | |
| | | ||||||
| * | Java Select: try typing as both SelectFromTypeTree and Select | Ondrej Lhotak | 2014-11-22 | 1 | -5/+36 | |
| | | ||||||
| * | desugar Java repeated parms into an Array instead of Seq | Ondrej Lhotak | 2014-11-22 | 4 | -12/+14 | |
| | | ||||||
| * | Initial implementation of Java scanner and parser | Ondrej Lhotak | 2014-11-22 | 9 | -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 symbols | Dmitry Petrashko | 2014-11-22 | 1 | -2/+2 | |
| | | ||||||
| * | Allow checking that trees and their defined symbols have modifiers in sync. | Dmitry Petrashko | 2014-11-22 | 2 | -2/+14 | |
| | | ||||||
| * | #204 check for global uniqueness of definitions. | Dmitry Petrashko | 2014-11-22 | 1 | -10/+19 | |
| | | | | | | | | | | Check now fails after erasure. Should become error after fixed. | |||||
| * | Rename PolyType.copy method. It clashes with generated one. | Dmitry Petrashko | 2014-11-22 | 2 | -3/+3 | |
| | | | | | | | | See #209 for explanation. | |||||
| * | Fix ElimRepeated not transforming modifiers in tree. | Dmitry Petrashko | 2014-11-22 | 2 | -3/+6 | |
| | | ||||||
| * | Dotty typer deviation triggered in Unpickler | Dmitry Petrashko | 2014-11-22 | 1 | -1/+2 | |
| | | ||||||
| * | Infer if overloading resolution should trigger implicit search. | Dmitry Petrashko | 2014-11-22 | 2 | -35/+30 | |
| | | | | | | | | This doesn't require additional argument. Decision can be made solely from the phaseId. | |||||
| * | Fix StackOveflow due to implicit resolution in readAnnotationContents | Dmitry Petrashko | 2014-11-22 | 1 | -1/+1 | |
| | | ||||||
| * | Allow resolving overloads without inferring views. | Dmitry Petrashko | 2014-11-22 | 1 | -2/+21 | |
| | | ||||||
| * | readAnnotationContents that should be able to resolve overloaded constructors. | Dmitry Petrashko | 2014-11-22 | 1 | -12/+36 | |
| | | ||||||
| * | FunProtoTyped to be used when args are known to be typed | Dmitry Petrashko | 2014-11-22 | 1 | -0/+10 | |
| | | ||||||
| * | Fix underlyingIfRepeated always assuming Scala repeated. | Dmitry Petrashko | 2014-11-22 | 2 | -5/+9 | |
| | | ||||||
| * | Fix TypeErasure.sigName erasing java repeated params to Seq | Dmitry Petrashko | 2014-11-22 | 1 | -1/+3 | |
| | | ||||||
| * | Fix typeAssigner ignoring existence of JavaSeqLiteral | Dmitry Petrashko | 2014-11-22 | 2 | -7/+10 | |
| | | ||||||
| * | Add Id's to types. | Dmitry Petrashko | 2014-11-22 | 1 | -0/+9 | |
| | | | | | | | | Helps to track where erroneous type was created. | |||||
| * | Fix elimRepeated not transforming annotations. | Dmitry Petrashko | 2014-11-22 | 1 | -0/+29 | |
| | | ||||||
| * | Testcase that shows bug in ElimRepeated. | Dmitry Petrashko | 2014-11-22 | 1 | -0/+3 | |
| | | ||||||
| * | Add the right constructor to Java annotations | Martin Odersky | 2014-11-22 | 4 | -2/+53 | |
|/ | ||||||
* | Merge pull request #236 from smarter/fix/overriding | odersky | 2014-11-18 | 3 | -1/+22 | |
|\ | | | | | Add overriding tests | |||||
| * | Add tests for the overriding of types | Guillaume Martres | 2014-11-18 | 3 | -1/+21 | |
| | | | | | | | | These tests work correctly since 222e9a478f7b851582550973df6a9d141766e49a | |||||
| * | Enable pos/overrides.scala in tests | Guillaume Martres | 2014-11-18 | 1 | -0/+1 | |
|/ | ||||||
* | Merge pull request #228 from dotty-staging/fix/overriding | odersky | 2014-11-18 | 14 | -77/+202 | |
|\ | | | | | Fix/overriding | |||||
| * | Check that overriding members refine the types of overridden ones. | Martin Odersky | 2014-11-18 | 5 | -22/+40 | |
| | | | | | | | | | | Somehow this was lost in porting (or was this done somewhere else in scalac?). | |||||
| * | Fixes of reviewers comments. | Martin Odersky | 2014-11-17 | 1 | -6/+2 | |
| | | ||||||
| * | Some fixes to override checking in RefChecks. | Martin Odersky | 2014-11-15 | 2 | -10/+13 | |
| | | | | | | | | `override` was not recognized at all on types. | |||||
| * | Fixes for type argument handling. | Martin Odersky | 2014-11-15 | 3 | -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 objects | Martin Odersky | 2014-11-14 | 2 | -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 OverridingPairs | Martin Odersky | 2014-11-14 | 1 | -36/+43 | |
| | | | | | | | | to make it easier to understand. | |||||
| * | Fix OverridingPairs | Martin Odersky | 2014-11-14 | 9 | -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 Odersky | 2014-11-14 | 1 | -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". |