aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* New Flag: InlineMartin Odersky2014-07-171-6/+9
| | | | | | Added now because it affects purity if expressions: Inlined pure values are pure even if referenced from impure prefixes (i.e. prefix need not be evaluated).
* New micro phase: LiteralizeMartin Odersky2014-07-172-1/+67
| | | | Convert expressions with constant types to Literals.
* Added infix methods for some tree constructionsMartin Odersky2014-07-1712-67/+85
| | | | | | | Added several forms of "select" and "appliedTo" methods which construct Select, Apply, TypeApply trees. Motivation: Infix methods allow chaining which is more legible than deep nesting.
* ExtensionMethods phase and TypeUtilsMartin Odersky2014-07-175-3/+293
| | | | | | | | | | | | New phase for extension methods. Also, split off some type handling functionality that can be used elsewhere in new TypeUtils decorator. The idea is that TypeUtils should contain methods on Type that make sense specifically for transformations. That way, we can keep Types from growing. Might make sense to do similar decorators for Denotations as well. There's a bug fix in MacroTransform: Need to treat selfInfo varDels specially, since they have no symbol.
* Various cleanups and utility additionsMartin Odersky2014-07-1711-41/+116
| | | | | | | - Some new functionality in tpd and in Symbols. - Added `sm` interpolator to print nicely. - Make use of nestedMap where possible. - Add IdentityDenotTransformer as a convencience class
* Changed PostTyperTransformer schemeMartin Odersky2014-07-1710-159/+87
| | | | | | | | | | | | 1) We now always generate companion objects for classes. This is done in mini-phase "companions", which also assures that companion-modules appear after companion-classes. 2) PostTyperTransformers is gone; the part which normalizes trees has been rolled into TreeTransform and the part which reordered companion classes and modules is now in Companions. Note: Some tests were deisabled; should be re-enabled by Dmitry where needed.
* Removed test caseMartin Odersky2014-07-171-17/+0
| | | | | d.T is an access to a structural type member, so rejecting this is OK. Not sure why we compiled this before without warning.
* Fixed problem with installAfterMartin Odersky2014-07-171-2/+30
| | | | | | The problem is that when an installAfter completely replaces a previous denotation, a symbol or NamedType might still hang on to that denotation in the cache. We need to enforce that we switch to the new denotation. This is done by setting the replaced denotation's validFor field to Nowhere.
* Rename SignedType -> MethodicTypeMartin Odersky2014-07-174-11/+11
| | | | | ... for the common supertype of MethodType, PolyType, and ExprType. Signed was confusing.
* Added phase: SuperAccessorsMartin Odersky2014-07-1712-15/+651
| | | | | Rewrote SuperAccessors (more to be done; see comments), and added stuff here and there to make it work smoother.
* Improved printing of flagsMartin Odersky2014-07-172-4/+15
| | | | | | (1) Make sure ModifierFlags is TermFlags and TypeFlags (2) Shorten private <local> to private[this]; same with protected (3) Print [this] for local symbols in RefinedPrinter
* Error method for implementation restrictionsMartin Odersky2014-07-171-0/+3
|
* ThisType trees have their class as a denotationMartin Odersky2014-07-171-0/+1
| | | | Added this case, so that .symbol on a ThisType returns the underlying class.
* New utitility methods in tpd.Martin Odersky2014-07-172-4/+17
| | | | | | | | | Added the following utility methods: - polyDefDef: Create a DefDef given a function that takes type and value parameters and yields a body. - appliedToTypeTrees: Apply function to type arguments ion a TypeApply if arguments are nonempty. - mkAsInstanceOf - ensureConforms: generate a cast if expression has non-conforming type.
* Added MacroTransform as a transformer template for macro phases.Martin Odersky2014-07-172-0/+56
|
* Make SuperAccessorName and extractor.Martin Odersky2014-07-171-5/+7
| | | | Should do the same with other name-creator/name-test pairs.
* Add cloneScope method and handle versioning of ClassInfo#declsMartin Odersky2014-07-173-8/+9
| | | | | This is done to streamline changing class denotations in new phases by adding to (or otherwise modifying) their decls scope.
* Merge pull request #142 from DarkDimius/fix-transforms-periododersky2014-07-175-10/+40
|\ | | | | Fix using of wrong period for creating nested ctx in TreeTransforms
| * Phases in tests now also have valid periods.Dmitry Petrashko2014-07-164-0/+23
| |
| * Fix wrong period for creating nested ctx in TreeTransforms.Dmitry Petrashko2014-07-161-2/+5
| | | | | | | | | | | | | | `owner` for nestedContext in `TreeTransforms` was assigned using initial period of whole `TreeTransforms` block. That is incorrect as denotation for this owner could have been create by some phase in this block.
| * Short-circuit TreeTransform.transformDmitry Petrashko2014-07-161-5/+7
| | | | | | | | No need to perform zero transformations.
| * Short-circuit transformSingleDmitry Petrashko2014-07-161-5/+7
| | | | | | | | There is no need to recurse in tree if there are no transformations left.
* | Merge pull request #135 from dotty-staging/docs/higher-kinded-v2odersky2014-07-141-0/+375
|\ \ | |/ |/| Docs/higher kinded v2
| * Sync with implementationMartin Odersky2014-07-141-51/+100
| | | | | | | | Adapted docs so that they reflect what has been implemented.
| * fixed typosMartin Odersky2014-05-301-5/+5
| |
| * Fixed typosMartin Odersky2014-05-301-7/+7
| |
| * Version 2, picking up on an idea of Adriaan.Martin Odersky2014-05-301-0/+326
| |
* | Merge pull request #137 from dotty-staging/change/higher-kindedDmitry Petrashko2014-07-0939-678/+888
|\ \ | | | | | | Change/higher kinded
| * | Added test case for LMS inspired HK code.Martin Odersky2014-06-261-0/+43
| | | | | | | | | | | | Closes #94.
| * | Improved documentationMartin Odersky2014-06-263-5/+17
| | | | | | | | | | | | Added explanations where suggested by Adriaan in his review.
| * | Bring LambdaClass inline with its doc comment.Martin Odersky2014-06-261-4/+3
| | | | | | | | | | | | | | | Avoid special treating TermRef, as this is not demanded by the comment and does not change any of the test outcomes.
| * | Avoid crashing on name tests when name is empty.Martin Odersky2014-06-261-4/+4
| | | | | | | | | | | | Guard every occurrence of name.head with a test whether name.length > 0
| * | Avoid caching values that depend on typevar state.Martin Odersky2014-06-204-27/+66
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | TypeVars flip from the initial state, where underlying == origin to the final state where underlying == inst. This flip can invalidate information that depends on the underlying type of a TypeVar. Since we do not know when the flip occurs, we need to avoid keeping any such information in a cache. The commit makes three caches depend on a new value: typerState.ephemeral. The value is set to `true` each time we follow the underlying type of a TypeVar, and this disables cached information to be retained. A test case for this commit is t2693.scala. This test passes typechecking with the previous commit, but fails in -Ycheck:front because of stale cache info in an "#Apply" typeref. The present commit fixes that.
| * | Make refines work for aliasesMartin Odersky2014-06-201-17/+21
| | | | | | | | | | | | refines needs to be made more stable, so that also aliases and derefernces typevars are recognized as prefixes.
| * | Add missing case where isHKSubType is neededMartin Odersky2014-06-201-4/+5
| | | | | | | | | | | | Was not called when comparing a named type with an #Apply projection. The commit fixes this.
| * | Fixes to lambda abstractionMartin Odersky2014-06-194-6/+17
| | | | | | | | | | | | | | | | | | 1) Honor variance of Apply and $hkArgs when instantiating them 2) Eta-lifting a higher-kinded type is straight eta expansion, no arguments are applied.
| * | Prevent a source of CyclicReference in refined printerMartin Odersky2014-06-191-1/+1
| | |
| * | Delete old, disabled code in TypeComparerMartin Odersky2014-06-181-284/+1
| | |
| * | Handling higher-kinded types with lambdasMartin Odersky2014-06-1823-345/+430
| | | | | | | | | | | | | | | Switch to the new scheme where higher-kinded types (and also some polymorphic type aliases) are represented as instances of Lambda traits.
| * | Fixing subtyping of refined typesMartin Odersky2014-06-151-40/+146
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Refined type subtyping needs to take into account all information that was seen about members of both refined types. This is handled by storing context info in `pendingRefinedBases` and making use of this to selective rebase qualifiers when comparing refined types. Note: This commit fails in pos/collections and dotc/ast, presumably because of bad interaction between the refined subtyping and the "matchingNames" logic (which will go away).
| * | More explanations for -Ycheck failures.Martin Odersky2014-06-131-2/+8
| | | | | | | | | | | | | | | In case of "types differ" failure, explain why original and retyped type are not subtypes of each other.
| * | Fix to printing type parameters.Martin Odersky2014-06-132-4/+4
| | | | | | | | | | | | | | | Printing a type parameter reference `A#T` now only reduces to `T` if `A` is some `B.this.type`.
| * | More careful with lookupRefinedMartin Odersky2014-06-131-2/+31
| | | | | | | | | | | | | | | Avoid to reduce projections `A{ ... }#T` to aliases if the alias would refer to abstract members of the refinement type.
| * | Harden allOverriddenSymbolsMartin Odersky2014-06-122-2/+7
| | | | | | | | | | | | | | | Now also works for symbols that are not class members (and returns Iterator.empty for them).
| * | Make Lambda#Apply a type field instead of a type parameter.Martin Odersky2014-06-121-2/+5
| | | | | | | | | | | | | | | | | | Apply cannot be treated as a type parameter because it does not count towards the number of legal arguments in an instantiation of a higher-kinded type.
| * | Optionally check variance of Lambda classes.Martin Odersky2014-06-122-3/+21
| | | | | | | | | | | | | | | Make sure that Lambda Arg refinements have the same variance as the Lambda classes they instantiate. Controlled by a Config parameter.
| * | Fix RefinementType#memberMartin Odersky2014-06-121-3/+4
| | | | | | | | | | | | | | | | | | | | | | | | Type members used to always pick the last refined info for a type name. This is incorrect, as a type might have several refinements for the same type name, which are not necessarily subsumed by the last one. We now only pick the last one if it is an alias type (assuming we check for conflicts elsewhere).
| * | Fixing hashing for RefinedThis types.Martin Odersky2014-06-122-3/+3
| | | | | | | | | | | | ... to bring it in sync with equals.
| * | Add isLambda... testsMartin Odersky2014-06-122-0/+40
| | | | | | | | | | | | Testing whether a type is (a subtype of) a Lambda class.
| * | Names and definitions for LambdasMartin Odersky2014-06-124-13/+81
| | | | | | | | | | | | | | | Adding names and definitions for the Lambda scheme to hk types. Also add HigherKinded flag for HK type parameters and abstract types.
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 02:17:11 +0000