| Commit message (Collapse) | Author | Age | Files | Lines |
|\
| |
| | |
Fix benchmarks and add multiple mini benchmark tests
|
| | |
|
| | |
|
| | |
|
|\ \
| | |
| | | |
Partially fix Java interop for emitted inner classes
|
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
The backend uses `rawname` to define the "inner name" of an InnerClass
entry in a classfile, this should be the simple name of the class before
any mangling takes place.
Fixing this allows Java code to reference dotty inner classes, except if
they're defined in objects which is still broken until
https://github.com/DarkDimius/scala/pull/4 is merged and a new backend
is published.
|
|\ \ \
| | | |
| | | | |
Fix #1891: Don't add redundant constraint
|
| | | | |
|
| |/ /
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
Before adding a constraint, make sure there is no way
the two types are already in a subtype relation.
Adding redundant constraints is problematic because we
might introduce cycles. See i1891.scala for a test.
|
|\ \ \
| |/ /
|/| | |
Stop emitting fields for inlined fields.
|
| | | |
|
| | | |
|
|/ /
| |
| |
| | |
This reverts commit 63d68bf4d3cbac82f6d9faf19acd5589603a17ee.
|
|\ \
| | |
| | | |
Add dummy scala{-compiler,-reflect,p}
|
|/ /
| |
| |
| |
| | |
This is needed to make dotty-compiled projects work with sbt 0.13.13, the
other needed fix is https://github.com/sbt/sbt/pull/2897
|
|\ \
| | |
| | | |
Bump version from 0.1-SNAPSHOT to 0.1.1-SNAPSHOT
|
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
This is useful for two reasons:
- All published Scala versions are of the form a.b.c and some tooling
expect that, like sbt CrossVersion API.
- Using 0.1.1 instead of 0.1.0 means that we match the version number of
dotty-sbt-bridge, this is simpler and means that in the future sbt
could automatically choose the correct version of dotty-sbt-bridge so
that the user does not need to specify scalaCompilerBridgeSource in
his build.sbt
Note: it's awful that we have hardcoded paths to jars and that I had to
change them, but I won't fix that now.
|
| | | |
|
| | | |
|
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
To match the specs in
https://github.com/lampepfl/dotty/blob/master/docs/syntax-summary.txt
all occurences of Id, ident or Ident in comments have been replaced
with the terminal `id`.
|
|/ /
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| | |
The following examples trigger the error message:
val x: Foo.this = ???
// Also triggers the error:
import foo.this
// Additionally, also slays the compiler
type X = Foo.this.type
|
|\ \
| | |
| | | |
Fix #1867: Set position of empty refined types
|
| | | |
|
|\ \ \
| | | |
| | | | |
Fix dummy scala-library
|
|/ / /
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
To be useful, the dummy scala-library:
- needs to be published with crossPaths off (the "_2.11" path of the
artefact name), like the real scala-library
- should depend on dotty-library and not just scala-library, since this
is what is needed to compile dotty programs
|
|\ \ \
| | | |
| | | | |
Fix #1865: Compute outer path at right phase
|
| | | | |
|
| |/ /
| | |
| | |
| | |
| | | |
When computing the outer path, we need to be careful to dealias before erasure,
even if the outer path is demanded during erasure. Otherwise we lose prefixes.
|
|\ \ \
| | | |
| | | | |
Fix #1878: Generate fields for final vars.
|
|/ / / |
|
|\ \ \
| | | |
| | | | |
Fix #1875: Decrease -Xmax-inlines default to 32.
|
|/ / / |
|
|\ \ \
| | | |
| | | | |
Fix #1868: Fix a logic error in a match
|
| | | | |
|
|\ \ \ \
| | | | |
| | | | | |
Fix #1732: Special treatment for bottom type by-name args
|
| |/ / / |
|
| |/ /
| | |
| | |
| | |
| | |
| | | |
If a by-name arg has a bottom type, we need to create a closure with the
result type of the formal parameter, or else specialization with
FunctionalInterfaces will fail.
|
|\ \ \
| | | |
| | | | |
Fix compileStdLib test
|
|/ / /
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
The issue was that all the files stdlib files where
copied in partest-generated/pos/compileStdLib direclty
(i.e. directories flattend). This implies that files with
the same names would overwrite eachother (like `package.scala` and
`Set.scala`).
|
|\ \ \
| |/ /
|/| | |
Add error message for unbound wildcard type. Parsers.scala:664
|
|/ / |
|
|\ \
| | |
| | | |
Fix #1845: Survive illegal this-type prefixes
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
|\ \ \
| | | |
| | | | |
Fix #1716: Don't allow wildcards as type arguments to methods
|
| | | | |
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
Wildcards don't make sense as type arguments to methods, and I believe to keep things
simple this should also apply to method type arguments in patterns.
The best way to enforce this is to make use of the existing infrastructure in the parser
for topLevelTypes.
|
|\ \ \ \
| | | | |
| | | | | |
Topic/syntax spec docs
|