aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Enable <:< implicits as conversions.Martin Odersky2015-11-034-3/+10
| | | | | | | | These were disabled before, which means that having evidence of S <:< T did not introduce a usable implicit conversion from S to T. We do do it like scalac: just disable Predef.$conforms. This makes TraversableOnce compile. Fixes #914.
* Enable compilation of Option.scalaMartin Odersky2015-11-021-1/+1
|
* Retain `case` flags for module classes representing case objectsMartin Odersky2015-11-021-8/+10
| | | | | This will cause them to automatically implement a certain number of synthetic methods.
* Make isDefined override if necessaryMartin Odersky2015-11-021-1/+3
| | | | | isDefined is now always auto-generated for case classes. It need to get an automatic override if there is a version that's inherited.
* Merge pull request #917 from dotty-staging/compile-stdlibodersky2015-11-025-1/+178
|\ | | | | Compile big parts of stdlib
| * Partest also needs to close scala repo.Dmitry Petrashko2015-11-021-1/+2
| |
| * Use absolute dates in Jenkins git-log.Dmitry Petrashko2015-11-023-3/+3
| |
| * Ouch... remove comment that broke compilation.Dmitry Petrashko2015-11-024-2/+6
| |
| * Allow empty lines in whitelist file.Dmitry Petrashko2015-11-021-0/+1
| |
| * Use custom repo to download fork of scale-library.Dmitry Petrashko2015-11-021-1/+1
| |
| * Showcase #916Dmitry Petrashko2015-11-021-3/+7
| |
| * Showcase #915Dmitry Petrashko2015-11-021-1/+3
| |
| * Showcase #914Dmitry Petrashko2015-11-021-1/+3
| |
| * Showcase #913Dmitry Petrashko2015-11-021-1/+4
| |
| * Showcase #912Dmitry Petrashko2015-11-021-3/+6
| |
| * Showcase #911Dmitry Petrashko2015-11-021-1/+4
| |
| * Showcase #907Dmitry Petrashko2015-11-021-0/+4
| |
| * Showcase #910Dmitry Petrashko2015-11-021-4/+12
| |
| * Showcase #909Dmitry Petrashko2015-11-021-15/+30
| |
| * Compiling products forces Data races.Dmitry Petrashko2015-11-021-23/+23
| |
| * Test compiling sodlibDmitry Petrashko2015-11-022-0/+127
|/
* Merge pull request #860 from dotty-staging/change-allow-ex-in-hkDmitry Petrashko2015-11-0215-111/+368
|\ | | | | Change allow ex in hk
| * Represent references to Scala2 inner classes as WithFixedSym typesMartin Odersky2015-10-256-279/+31
| | | | | | | | | | | | | | Reason: An inner Scala2 class might be shadowed by a same-named class in a subtype. In Dotty this is disallowed butin Scala 2 it is possible. For instance, math.Numeric and math.Ordering both have an inner class "Ops". Normal TypeRef types could not select the shadowed class in Ordering is the prefix is of type Numeric.
| * Make Lazy and Trait "From Start" flagsMartin Odersky2015-10-251-2/+4
| |
| * Make SuperAccessor and Scala2x "FromStart" flags.Martin Odersky2015-10-252-2/+4
| |
| * Add fixed version of GenTraversableFactory.Martin Odersky2015-10-241-0/+256
| | | | | | | | | | | | | | There is still an issue because math uses inner classes named Ops which shadow each other. Dotty can't handle it, so implicit search in `range` goes wrong. The new test has been modified to work around that issue.
| * Remove redundant testsMartin Odersky2015-10-241-3/+1
| | | | | | | | isHK already does a dealias.
| * Don't drop $apply when eliminating existentials in unpicklerMartin Odersky2015-10-242-2/+2
| |
| * Revise typeParams to account for existential hk typesMartin Odersky2015-10-242-28/+37
| |
| * Add test caseMartin Odersky2015-10-241-0/+252
| |
| * Allow existential types in hk typesMartin Odersky2015-10-247-55/+41
| |
* | Merge pull request #887 from dotty-staging/fix-#873odersky2015-11-023-15/+34
|\ \ | | | | | | Allow pattern matching anonymous functions of arity > 1
| * | Also handle SAM functions when adaptiing arity of case lambdas.Martin Odersky2015-10-302-14/+19
| | |
| * | Revert nullary function patchMartin Odersky2015-10-301-2/+2
| | | | | | | | | | | | Nullary functions are handled by scalac, and dotty should do the same.
| * | Fix case expansion for nullary functions.Martin Odersky2015-10-301-3/+3
| | | | | | | | | | | | Always expand to at least one parameter.
| * | Allow pattern matching anonymous functions of arity > 1Martin Odersky2015-10-303-6/+20
| | | | | | | | | | | | This is sepcified in Sec. 8.5 of the SLS. Fixes #873. Review by @smarter.
* | | Merge pull request #908 from dotty-staging/fix-#903odersky2015-11-022-0/+27
|\ \ \ | | | | | | | | Parentheses around a wildcard should not produce a lambda
| * | | Add tests for wildcards without typesMartin Odersky2015-11-021-0/+2
| | | | | | | | | | | | | | | | As suggested by review.
| * | | Parentheses around a wildcard should not produce a lambdaMartin Odersky2015-11-022-0/+25
|/ / / | | | | | | | | | | | | | | | | | | `(_)` and `(_: T)` should not be converted to functions x => x (x: T) => x
* | | Merge pull request #896 from dotty-staging/gitignoreodersky2015-10-312-0/+7
|\ \ \ | | | | | | | | Fix #895: Maintain keep file during bootstrap
| * | | Fix #895: Maintain keep file during bootstrapDmitry Petrashko2015-10-311-0/+2
| | | |
| * | | Add `out/` folder correctly to gitignore.Dmitry Petrashko2015-10-311-0/+5
| | | |
* | | | Merge pull request #894 from dotty-staging/check-singlethreadedDmitry Petrashko2015-10-312-0/+11
|\ \ \ \ | | | | | | | | | | Check that access to context base is singlethreaded.
| * | | | Check that access to context base is singlethreaded.Martin Odersky2015-10-312-0/+11
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | ContextBase is not intended to be threadsafe, We now test that indeed it is not shared by compileUnits calls operating on different threads.
* | | | | Merge pull request #890 from dotty-staging/fix-#879Dmitry Petrashko2015-10-312-1/+12
|\ \ \ \ \ | |/ / / / |/| | | | Fix #879
| * | | | Address reviewer commentsMartin Odersky2015-10-302-2/+2
| | | | |
| * | | | Fix #879Martin Odersky2015-10-303-3/+14
| | | | | | | | | | | | | | | | | | | | Don't insert a constructor call when typechecking Java classes.
* | | | | Merge pull request #892 from dotty-staging/fix-typeparam-namesodersky2015-10-311-6/+5
|\ \ \ \ \ | |/ / / / |/| | | | Avoid printing expanded names when displaying type parameters.
| * | | | Avoid printing expanded names when displaying type parameters.Martin Odersky2015-10-301-6/+5
|/ / / / | | | | | | | | | | | | | | | | Differences can be observed when checking neg/variances.scala. Review and any necessary polishing by @smarter.
* | | | Merge pull request #886 from dotty-staging/fix-#884Guillaume Martres2015-10-308-16/+19
|\ \ \ \ | |_|/ / |/| | | Fix #884 - misdiagnosed ambiguous definition.