| Commit message (Collapse) | Author | Age | Files | Lines |
... | |
| | | | |
|
| | | | |
|
| | | | |
|
| | | |
| | | |
| | | |
| | | |
| | | | |
1. Fix problem in fullNameSeparated
2. Revise expandedName operations
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
The backend contains:
val outerName = innerClassSym.rawowner.javaBinaryName
// Java compatibility. See the big comment in BTypes that summarizes the InnerClass spec.
val outerNameModule = if (innerClassSym.rawowner.isTopLevelModuleClass) outerName.dropModule
Where `dropModule` is defined in the backend interface as:
def dropModule: Name = n.stripModuleClassSuffix
This will only work as expected if `javaBinaryName` returns a name with
proper semantic information, but before this commit we just used the
output of `fullNameSeparated` which contains no semantic information.
|
| | | | |
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
Start scheme where unmangling is done by NameKinds instead of
in NameOps.
Also add namekinds for protected accessors.
|
| | | | |
|
| | | | |
|
| | | | |
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
Make it a method of info instead of a convention over tags, because
it's less fragile that way.
Also, add UniqueName extractor.
|
| | | | |
|
| | | | |
|
| | | | |
|
| | | | |
|
| | | | |
|
| | | |
| | | |
| | | |
| | | |
| | | | |
We now handle only semantic names. Also, name extractor tags
and TASTY name tags are now aligned.
|
| | | | |
|
| | | | |
|
| | | |
| | | |
| | | |
| | | |
| | | | |
Use a new scheme for creating and accessing semantic names which is
based on semantic name extractors with nested info classes.
|
| | | | |
|
| | | | |
|
| | | | |
|
| | | | |
|
| | | | |
|
| | | | |
|
| | | |
| | | |
| | | |
| | | | |
Plus further bug fixes.
|
| | | |
| | | |
| | | |
| | | | |
Plus various bug fixes and filling in missing functionality
|
| | | | |
|
| | | | |
|
| | | |
| | | |
| | | |
| | | | |
nameddefaults.scala now compiles without crashing
|
| | | | |
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
Structured names are not Seqs anymmore. But the Seq behavior
is required in many places that mangle names. As an intermediate step
we drop the Seq basetype but add Seq behavior through a decorator.
Most Seq operations only work on SimpleTermNames and their
TypeName analogue, will throw an exception wehn called on structured
names.
|
| | | |
| | | |
| | | |
| | | | |
Keep start as a hash for SimpleTermNames because it distributed better.
|
| | | | |
|
| | | | |
|
| | | | |
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
This is a temporary step. If semanticNames is true we construct
structured qualified names, but check they have the same string
representation as the unstructured names.
|
| | | |
| | | |
| | | |
| | | | |
Subject to flags Config.semanticNames.
|
| | | |
| | | |
| | | |
| | | |
| | | | |
These always construct a new name, other derivations should
not commute with Qualified.
|
| | | | |
|
| | | |
| | | |
| | | |
| | | | |
Add machinery to define and hash cons derived names.
|
|/ / /
| | |
| | |
| | |
| | | |
Reduce # of creation methods and make TypeNames
simple derived names from TermNames.
|
|\ \ \
| | | |
| | | | |
Fix #2142: Skolemize arguments of dependent methods if necessary
|
| | | |
| | | |
| | | |
| | | | |
Change name and align order of parameters.
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
We now consider a type also as stable if it refers
to an ExprType whose result type is stable.
The previous commit made pos/z1720.scala break, because it
skolemized unstable argument types. This commit makes the test
pass again.
|
| | | |
| | | |
| | | |
| | | | |
This was missing before, led to errors not being detected.
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
Strictly speaking, all the info about a skolem type is printed, e.g.
A(?2)
But it's reassuring to have an explanation line like
?2 is an unknown value of type A
|
| | | |
| | | |
| | | |
| | | | |
These were not printed before, fell back to toString method.
|
|\ \ \ \
| | | | |
| | | | | |
Upgrade to sbt 0.13.15
|