| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| |\ |
|
| | |
| |
| |
| |
| |
| |
| | |
All those wildcards in a default-scoped implicit are expensive,
they each lead to a typevar on every search. Restructured the
Tuple2/Tuple3 Zipped classes, they're better this way anyway.
This also gets all that Tuple[23] code out of genprod.
|
| |\| |
|
| | | |
|
| | |
| |
| |
| | |
Now that nothing uses it.
|
| | |
| |
| |
| |
| |
| |
| |
| |
| | |
Suppresses specialization on a per-method basis.
I would have preferred to call it @nospecialize, but seeing as the
positive form of the annotation is @specialized, that would have sown
unnecessary grammatical confusion. @nospecialized sounds a bit too
caveman for my tastes. "Grog no specialized! Grog generic!"
|
| | |
| |
| |
| |
| | |
The ones which remain I'm not removing on purpose, as I know
from experience it's more trouble than it's yet worth.
|
| | | |
|
| | |
| |
| |
| |
| |
| | |
This reverts commit 1d0372f84f9a7325a47beb55169cc454895ef74b.
I forgot about polymorphic dispatch. Have to seek another way.
|
| | | |
|
| | |
| |
| |
| | |
Ported most of the future tests.
|
| |/
|
|
| |
Fixed a bug in Future.zip.
|
| | |
|
| | |
|
| |
|
|
|
|
|
| |
Moved compose/andThen off Function1, curried/tupled off Function2.
Pushed Tuple2 zipped into auxiliary class. Created implicits to
plaster over the changes. This drops several hundred classfiles and
takes (unoptimized) scala-library.jar from 7.8 Mb to 7.4 Mb.
|
| | |
|
| |
|
|
|
|
|
| |
typer synthesized the wrong isDefinedAt method in typedMatchAnon
because a BackQuotedIdent was copied as an Ident, so that the equality check
was performed in applyOrElse (since it operates on the original tree),
but not in isDefinedAt (since it operates on the copy, which collapsed Ident and BackQuotedIdent)
|
| |
|
|
|
|
|
| |
Trying to compile sbt with 2.10.0 reminded me that ScalaObject
wasn't only a marker interface, it was a public trait in the library
and has to be removed properly. "The ol' boy had a bit of life
in him yet, 'e did."
|
| |\ |
|
| | | |
|
| | | |
|
| | | |
|
| | | | |
| | \ | |
| |\ \ \ |
|
| | | | |
| | | |
| | | |
| | | | |
@paulp I think this is the place we should dump the contents of AbsSymbolInternal to
|
| | |/ /
|/| |
| | |
| | |
| | | |
Otherwise loading the class reflectively runs the initializer
and throws an exception.
|
| | | |
| | |
| | |
| | | |
We thought better of it.
|
| | | | | |
| | \ \ | |
| |\ \ \ \ |
|
| | | | | | |
|
| | | | | | |
|
| | | | | |
| | | | |
| | | | |
| | | | |
| | | | | |
* all usages of ClassManifest and Manifest are replaced with tags
* all manifest tests are replaced with tag tests
|
| | | | |/
| | |/|
| | | |
| | | |
| | | | |
* introduces ArrayTag and ErasureTag
* all type tags now feature erasure
|
| | |/ / |
|
| |\ \ \
| |/ /
|/| | |
|
| | |/ |
|
| | | | |
| | \ | |
| | \ | |
| | \ | |
| |\ \ \ \
| | | |/
| | |/|
| | | | |
'refs/pull/421/head'; commit 'refs/pull/422/head' into develop
|
| | | |/
| | |
| | |
| | | |
Fix SI-5168.
|
| | |/
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| | |
- Consolidating many islands of name organization. Folds NameManglers
into StdNames. Brings more of the string constants together with similar
constants. Move name manipulation methods which produce TypeNames
into object tpnme rather than nme.
- Starting on MethodSymbolApi, ClassSymbolApi, etc so we can put
sensible methods on sensible entities. This pushed into Definitions,
where I pulled a whole bunch out of the api side (or at least marked
my intention to do so -- too many tests use them to make them easy to
remove) and on the compiler side, returned something more specific than
Symbol a bunch of places.
- Added a number of conveniences to Definitions to make it easier to
get properly typed symbols.
Note: one way in which you might notice having better typed Symbols is
with Sets, which have the annoying property of inferring a type based on
what they've been constructed with and then hard failing when you test
for the presence of a more general type. So this:
val mySet = Set(a, b)
println(mySet(c))
..goes from compiling to not compiling if a and b receive more specific
types (e.g. they are MethodSymbols) and c is a Symbol or ClassSymbol or
whatever. This is easily remedied on a site-by-site basis - create
Set[Symbol](...) not Set(...) - but is an interesting and unfortunate
consequence of type inference married to invariance.
The changes to DummyMirror where things became ??? were driven by the
need to lower its tax; type "Nothing" is a lot more forgiving about changes
than is any specific symbol type.
|
| | |\ \ \
| | | | |
| | | | |
| | | | | |
'refs/pull/416/head'; commit 'refs/pull/417/head'; commit 'refs/pull/418/head' into develop
|
| | | |_|/
| |/| | |
|
| | | |/
| |/| |
|
| | |/ |
|
| |/ |
|
| |\ |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| |/ |
|
| |\ \
| | |
| | |
| | | |
'type-destructure' into develop
|
