Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Enable <:< implicits as conversions. | Martin Odersky | 2015-11-03 | 4 | -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.scala | Martin Odersky | 2015-11-02 | 1 | -1/+1 |
| | |||||
* | Retain `case` flags for module classes representing case objects | Martin Odersky | 2015-11-02 | 1 | -8/+10 |
| | | | | | This will cause them to automatically implement a certain number of synthetic methods. | ||||
* | Make isDefined override if necessary | Martin Odersky | 2015-11-02 | 1 | -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-stdlib | odersky | 2015-11-02 | 5 | -1/+178 |
|\ | | | | | Compile big parts of stdlib | ||||
| * | Partest also needs to close scala repo. | Dmitry Petrashko | 2015-11-02 | 1 | -1/+2 |
| | | |||||
| * | Use absolute dates in Jenkins git-log. | Dmitry Petrashko | 2015-11-02 | 3 | -3/+3 |
| | | |||||
| * | Ouch... remove comment that broke compilation. | Dmitry Petrashko | 2015-11-02 | 4 | -2/+6 |
| | | |||||
| * | Allow empty lines in whitelist file. | Dmitry Petrashko | 2015-11-02 | 1 | -0/+1 |
| | | |||||
| * | Use custom repo to download fork of scale-library. | Dmitry Petrashko | 2015-11-02 | 1 | -1/+1 |
| | | |||||
| * | Showcase #916 | Dmitry Petrashko | 2015-11-02 | 1 | -3/+7 |
| | | |||||
| * | Showcase #915 | Dmitry Petrashko | 2015-11-02 | 1 | -1/+3 |
| | | |||||
| * | Showcase #914 | Dmitry Petrashko | 2015-11-02 | 1 | -1/+3 |
| | | |||||
| * | Showcase #913 | Dmitry Petrashko | 2015-11-02 | 1 | -1/+4 |
| | | |||||
| * | Showcase #912 | Dmitry Petrashko | 2015-11-02 | 1 | -3/+6 |
| | | |||||
| * | Showcase #911 | Dmitry Petrashko | 2015-11-02 | 1 | -1/+4 |
| | | |||||
| * | Showcase #907 | Dmitry Petrashko | 2015-11-02 | 1 | -0/+4 |
| | | |||||
| * | Showcase #910 | Dmitry Petrashko | 2015-11-02 | 1 | -4/+12 |
| | | |||||
| * | Showcase #909 | Dmitry Petrashko | 2015-11-02 | 1 | -15/+30 |
| | | |||||
| * | Compiling products forces Data races. | Dmitry Petrashko | 2015-11-02 | 1 | -23/+23 |
| | | |||||
| * | Test compiling sodlib | Dmitry Petrashko | 2015-11-02 | 2 | -0/+127 |
|/ | |||||
* | Merge pull request #860 from dotty-staging/change-allow-ex-in-hk | Dmitry Petrashko | 2015-11-02 | 15 | -111/+368 |
|\ | | | | | Change allow ex in hk | ||||
| * | Represent references to Scala2 inner classes as WithFixedSym types | Martin Odersky | 2015-10-25 | 6 | -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" flags | Martin Odersky | 2015-10-25 | 1 | -2/+4 |
| | | |||||
| * | Make SuperAccessor and Scala2x "FromStart" flags. | Martin Odersky | 2015-10-25 | 2 | -2/+4 |
| | | |||||
| * | Add fixed version of GenTraversableFactory. | Martin Odersky | 2015-10-24 | 1 | -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 tests | Martin Odersky | 2015-10-24 | 1 | -3/+1 |
| | | | | | | | | isHK already does a dealias. | ||||
| * | Don't drop $apply when eliminating existentials in unpickler | Martin Odersky | 2015-10-24 | 2 | -2/+2 |
| | | |||||
| * | Revise typeParams to account for existential hk types | Martin Odersky | 2015-10-24 | 2 | -28/+37 |
| | | |||||
| * | Add test case | Martin Odersky | 2015-10-24 | 1 | -0/+252 |
| | | |||||
| * | Allow existential types in hk types | Martin Odersky | 2015-10-24 | 7 | -55/+41 |
| | | |||||
* | | Merge pull request #887 from dotty-staging/fix-#873 | odersky | 2015-11-02 | 3 | -15/+34 |
|\ \ | | | | | | | Allow pattern matching anonymous functions of arity > 1 | ||||
| * | | Also handle SAM functions when adaptiing arity of case lambdas. | Martin Odersky | 2015-10-30 | 2 | -14/+19 |
| | | | |||||
| * | | Revert nullary function patch | Martin Odersky | 2015-10-30 | 1 | -2/+2 |
| | | | | | | | | | | | | Nullary functions are handled by scalac, and dotty should do the same. | ||||
| * | | Fix case expansion for nullary functions. | Martin Odersky | 2015-10-30 | 1 | -3/+3 |
| | | | | | | | | | | | | Always expand to at least one parameter. | ||||
| * | | Allow pattern matching anonymous functions of arity > 1 | Martin Odersky | 2015-10-30 | 3 | -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-#903 | odersky | 2015-11-02 | 2 | -0/+27 |
|\ \ \ | | | | | | | | | Parentheses around a wildcard should not produce a lambda | ||||
| * | | | Add tests for wildcards without types | Martin Odersky | 2015-11-02 | 1 | -0/+2 |
| | | | | | | | | | | | | | | | | As suggested by review. | ||||
| * | | | Parentheses around a wildcard should not produce a lambda | Martin Odersky | 2015-11-02 | 2 | -0/+25 |
|/ / / | | | | | | | | | | | | | | | | | | | `(_)` and `(_: T)` should not be converted to functions x => x (x: T) => x | ||||
* | | | Merge pull request #896 from dotty-staging/gitignore | odersky | 2015-10-31 | 2 | -0/+7 |
|\ \ \ | | | | | | | | | Fix #895: Maintain keep file during bootstrap | ||||
| * | | | Fix #895: Maintain keep file during bootstrap | Dmitry Petrashko | 2015-10-31 | 1 | -0/+2 |
| | | | | |||||
| * | | | Add `out/` folder correctly to gitignore. | Dmitry Petrashko | 2015-10-31 | 1 | -0/+5 |
| | | | | |||||
* | | | | Merge pull request #894 from dotty-staging/check-singlethreaded | Dmitry Petrashko | 2015-10-31 | 2 | -0/+11 |
|\ \ \ \ | | | | | | | | | | | Check that access to context base is singlethreaded. | ||||
| * | | | | Check that access to context base is singlethreaded. | Martin Odersky | 2015-10-31 | 2 | -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-#879 | Dmitry Petrashko | 2015-10-31 | 2 | -1/+12 |
|\ \ \ \ \ | |/ / / / |/| | | | | Fix #879 | ||||
| * | | | | Address reviewer comments | Martin Odersky | 2015-10-30 | 2 | -2/+2 |
| | | | | | |||||
| * | | | | Fix #879 | Martin Odersky | 2015-10-30 | 3 | -3/+14 |
| | | | | | | | | | | | | | | | | | | | | Don't insert a constructor call when typechecking Java classes. | ||||
* | | | | | Merge pull request #892 from dotty-staging/fix-typeparam-names | odersky | 2015-10-31 | 1 | -6/+5 |
|\ \ \ \ \ | |/ / / / |/| | | | | Avoid printing expanded names when displaying type parameters. | ||||
| * | | | | Avoid printing expanded names when displaying type parameters. | Martin Odersky | 2015-10-30 | 1 | -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-#884 | Guillaume Martres | 2015-10-30 | 8 | -16/+19 |
|\ \ \ \ | |_|/ / |/| | | | Fix #884 - misdiagnosed ambiguous definition. |