| Commit message (Collapse) | Author | Age | Files | Lines |
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|\
| |
| | |
Fix #1789: Fix signature of unit result type
|
| |
| |
| |
| | |
was scala.BoxedUnit, should be scala.Unit.
|
|\ \
| | |
| | | |
Fix #1792: Allow newline in front of `{` for procedure syntax
|
| | | |
|
|\ \ \
| | | |
| | | | |
Add implicit function types
|
| | | | |
|
| | | | |
|
| | | | |
|
| | | | |
|
| | | |
| | | |
| | | |
| | | | |
Also, integrate Jason's test case with the conditional.
|
| | | |
| | | |
| | | |
| | | |
| | | | |
Introduce an option to not specialize monomorphic
targets of callsites.
|
| | | | |
|
| | | | |
|
| | | |
| | | |
| | | |
| | | |
| | | | |
Optimizes implicit closures by avoiding closure
creation where possible.
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
This avoids denotation transforms when called at a later
phase because it cuts out current. Not needed in final
version of ShortcutImplicits, but I thought it was
good to have.
|
| | | |
| | | |
| | | |
| | | |
| | | | |
The Ref copier copies Idents and Selects, changing the name
of either.
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
"Wrong number of args" only works for type arguments but was called also for
term arguments. Ideally we should have a WrongNumberOfArgs message that works for
both, but this will take some refactoring.
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
1. I noted java_all was not running(it took 0.01s to complete); fixed by
changing the test directory.
2. We suspected tasty_bootstrap was gettng the wrong classpath and
had a lot of problems getting it to print the classpatg. Fixed
by refactoring the options we pass to tasty_bootstrap (it has
to be -verbose in addition to -classpath). For the moment,
both a turned off but we have to just swap a false to a true
to turn them on together.
|
| | | | |
|
| | | |
| | | |
| | | |
| | | |
| | | | |
When the expected type is an implicit function, create an
implicit closure to match it.
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
This will need a spec change. It's necessary in
order not to confuse synthetic implicits with each other
or with explicit ones in the environment.
|
| | | |
| | | |
| | | |
| | | | |
and check at runtime that it works
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
This will no longer be supported. On the other hand, as long as
the alternative is not yet legal in Scala2.x we cannot flag this
as an error. So the migration warning/error and patch code is
currently disabled.
|
| | | |
| | | |
| | | |
| | | |
| | | | |
- allow more than one implicit binding
- harmonize syntax in expressions and blocks
|
| | | |
| | | |
| | | |
| | | |
| | | | |
Implicit modifiers were quite irregular compared
to the other ones. This commit does a cleanup.
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
Implicitness is ignored for matching (otherwise
apply in ImplicitFunction could not shadow apply in Function).
And explicit trumps implicit in subtyping comparisons.
|
| | | | |
|
| | | | |
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
Also: show implicit function types correctly.
Also: refine applications of implicit funcitons
- don't do it for closure trees
- don't do it after typer.
|
| | | | |
|
| | | | |
|
| | | |
| | | |
| | | |
| | | | |
These are always synthetic; generated on demand.
|
|\ \ \ \
| |_|_|/
|/| | | |
Fix #1802: Make sure errors are not swept under the carpet
|
| | | | |
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
Typer#ensureReported's comment outlines an example where errors
could go unreported, resulting in error trees after typer without
any reported error messages. This commit makes sure that at least
one error is reported if a tree node has an error type.
Fixes #1802.
|
|\ \ \ \
| | | | |
| | | | | |
Fix #1803: Infer type parameters of anonymous class parents from expected type
|
| | |/ /
| |/| |
| | | |
| | | |
| | | |
| | | |
| | | | |
If a parent type of an anonymous class is an Ident or Select which refers
to a parameterized type, use the expected type to infer its type parameters.
Fixes #1803.
|
|\ \ \ \
| | | | |
| | | | | |
Fix #1797: Allow case class params with names _1, _2, ...
|
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | | |
This was not possible before because it clashed with the automatically
generated name of the accessor. We now allow it, by simply taking the
parameter(accessor) itself as the case class accessor if it already has
that name. But you still cannot write
case class C(_2: Int, _1: String)
nor should you be able to do this.
|
|\ \ \ \ \
| |_|/ / /
|/| | | | |
Fix #1755: Make sure references in outer args are accessible
|
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | | |
Needed a fixup action in ExplicitOuter to avoid references to
module's This from outside their scope.
The problem is fixed, but I wish I understood better the root cause.
|
|\ \ \ \ \
| | | | | |
| | | | | | |
Fix #1799: Make compilation of FunctionN traits possible.
|
| | |_|/ /
| |/| | | |
|
|\ \ \ \ \
| |/ / / /
|/| | | | |
Fix #1810 LazyVals should use changeOwnerAfter.
|