| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| |
|
|
|
|
| |
Very first time I tried "reify" in the repl and it crashed.
I changed an assert to issue a proper error, as best I could
figure out how. We probably need to do a lot more of this.
|
| |
|
|
|
|
|
| |
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)
|
| |/
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
val pattern: Type = expr desugared to
val x = expr match { case pattern: Type => (var_1, ..., var_N)}
but `pattern: Type` is only a valid pattern if `pattern` is an Ident
thus, we desugar to
val x = (expr: Type) match { case pattern => (var_1, ..., var_N)}
... in this case (see def makePatDef)
also, MaybeBoundType now fails on illegal patterns (to defend against similar regressions)
|
| |
|
|
| |
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
|
| | | |
|
| |/ |
|
| | |
|
| | |
|
| |
|
|
| |
For mr. optimizer and his band of merry privates.
|
| |\ |
|
| | |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| | |
workaround for inliner bug in run/t3835
see SI-5672 for the optimizer bug
tiny switches (2 cases or less) don't make sense anyway,
so this is not a big deal
the annotDepMethType.flags contained -Xexperimental,
which causes Any* to be considered as a valid return type,
before we weren't exposed to this, because the product methods
used (tiny) switches; with this change, they went back to pattern matches
in any case, the -Xexperimental was intended to turn on dependent method types,
not Any* as valid type (I can only assume), and they are now on by default
the other tests were affected by our refusal to emit tiny switches
|
| | |
| |
| |
| |
| |
| | |
the optimizer generates wrong bytecode for switches in arguments
virtpatmat happily emits a switch for a one-case switch, whereas -Xoldpatmat did not
this is not the focus of this test, hence the temporary workaround
|
| | |
| |
| |
| |
| |
| | |
Would prefer to bake a little longer, but, scala days.
More elaboration to come.
|
| | | | |
| | \ | |
| |\ \ \
| |_|/
|/| |
| | | |
'refs/pull/403/head'; commit 'refs/pull/404/head'; commit 'refs/pull/405/head' into develop
|
| | | | |
|
| |/ /
| |
| |
| |
| |
| | |
the optimizer generates wrong bytecode for switches in arguments
virtpatmat happily emits a switch for a one-case switch, whereas -Xoldpatmat did not
this is not the focus of this test, hence the temporary workaround
|
| | | | |
| | \ | |
| |\ \ \ |
|
| | | | | |
|
| | | | | |
|
| | | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
some tests (unreachability, exhaustivity, @switch annotation checking) are still run under -Xoldpatmat,
but that will change before we go into RC mode (then the test/ partest of this commit will be reverted)
removed irrelevant dependency on patmat
|
| | | | | |
|
| | | |/
| |/|
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
since we can't statically know whether the unapply
we'll be bridging to is synthetic, drop this condition,
and do pessimistic bridging for all unapply[Seq]
(i.e., if we can't statically guarantee the type
that would be assumed to be safe to cast to by a synthetic
extractor, do the type test and return None if it fails)
|
| |/ /
| |
| |
| | |
for macros
|
| | | | |
| | \ | |
| |\ \ \ |
|
| | | | | |
|
| | | |/ |
|
| | | | |
|
| | |/ |
|
| | | |
|
| |\| |
|
| | |
| |
| |
| |
| | |
Somehow type args to be applied arrive in the specialized subclass
where type args are no longer applicable. Log and discard.
|
| | | |
|
| | | |
|
| |/
|
|
| |
late loading of nested classes in Definitions. Resolved handling of deprecated idents `then` and `macro`. Massaged test flags.
|
| |\ |
|
| | | |
|
| | |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| | |
Implements SIP 16: Self-cleaning macros: http://bit.ly/wjjXTZ
Features:
* Macro defs
* Reification
* Type tags
* Manifests aliased to type tags
* Extended reflection API
* Several hundred tests
* 1111 changed files
Not yet implemented:
* Reification of refined types
* Expr.value splicing
* Named and default macro expansions
* Intricacies of interaction between macros and implicits
* Emission of debug information for macros (compliant with JSR-45)
Dedicated to Yuri Alekseyevich Gagarin
|
| | | |
|
| |/ |
|
