Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Better handling of implicits over numeric types. | Martin Odersky | 2015-11-01 | 5 | -6/+45 |
| | | | | | | | | | | | | | | | | | | | | Compiling scala.math.BigDecimal and scala.math.BigInteger shows a problem. The conversion `int2bigInt` is not applicable to a Byte because `Byte -> Int` requires another implicit conversion. We fix that by using a new method relaxed_<:< for implicit compatibility checks, which always admits numeric widenings. This leads to another problem. Now the conversions implicit def byteToInt(x: Byte): Int implicit def byteToShort(x: Byte): Short are ambiguous when we try to convert from Byte to Int. We fix that by adding a "tie-break" to implicit search where if several methods match a numeric value result type and all have numeric value types as result types, we pick the numerically largest type that matches. | ||||
* | 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. | ||||
| * | | Add missing test file. | Martin Odersky | 2015-10-30 | 1 | -0/+28 |
| | | | |||||
| * | | Fix #884 - misdiagnosed ambiguous definition. | Martin Odersky | 2015-10-29 | 8 | -44/+19 |
| | | | | | | | | | | | | | | | Universal equality strikes again. Caused a bug in isDefinedInCurrentUnit. | ||||
* | | | Merge pull request #882 from dotty-staging/fix/java-annots-pos | odersky | 2015-10-30 | 2 | -1/+4 |
|\ \ \ | | | | | | | | | Set position on annotations parsed from Java | ||||
| * | | | Set position on annotations parsed from Java | Guillaume Martres | 2015-10-29 | 2 | -1/+4 |
| | | | | | | | | | | | | | | | | Fix a crash in Typer#assertPositioned | ||||
* | | | | Merge pull request #883 from dotty-staging/add/Main-process | Guillaume Martres | 2015-10-29 | 1 | -1/+7 |
|\ \ \ \ | |/ / / |/| | | | Make it easier to call the compiler using reflection | ||||
| * | | | Make it easier to call the compiler using reflection | Guillaume Martres | 2015-10-29 | 1 | -1/+7 |
|/ / / | |||||
* | | | Merge pull request #869 from dotty-staging/fix-#866 | odersky | 2015-10-27 | 14 | -31/+51 |
|\ \ \ | |/ / |/| | | Fix #866 | ||||
| * | | Don't count suppressed errors | Martin Odersky | 2015-10-26 | 6 | -18/+33 |
| | | | | | | | | | | | | If an error message was supressed to count it in the total. | ||||
| * | | Keep separate chain of outer reporters for StoreReporters | Martin Odersky | 2015-10-26 | 5 | -7/+12 |
| | | | | | | | | | | | | | | | | | | | | | | | | Used in rewritten `errorsReported` method. This fixes #866. The problem before was that `TyperState#trywithFallBack` temporarily updates the reporter, so crawling up the context chain to check for reporters with errors missed some reported errors, which triggered the assertion in `Tree#withType`. | ||||
| * | | Shorten ctx.typerState.reporter to ctx.reporter | Martin Odersky | 2015-10-26 | 6 | -6/+6 |
|/ / | | | | | | | ... making use of method in `ctx`. | ||||
* | | Merge pull request #865 from dotty-staging/fix-module-alias-subtyping | Guillaume Martres | 2015-10-25 | 2 | -4/+18 |
|\ \ | | | | | | | Fix hole in subtyping of modules | ||||
| * | | Fix hole in subtyping of modules | Martin Odersky | 2015-10-25 | 2 | -4/+18 |
|/ / | | | | | | | | | We did not handle correctly the case exemplified by `range.scala`: A module this type, which is compared with a getter to the same module. Seen in the wild in scala.math.BigDecimal. | ||||
* | | Merge pull request #863 from dotty-staging/fix/inference-methcall | Guillaume Martres | 2015-10-25 | 3 | -3/+42 |
|\ \ | | | | | | | Fix/inference methcall | ||||
| * | | Readd `.widen` which was accidentally removed from the previous commit | Guillaume Martres | 2015-10-25 | 1 | -1/+1 |
| | | | |||||
| * | | Simplify logic in adapt | Martin Odersky | 2015-10-25 | 1 | -10/+2 |
| | | | |||||
| * | | Fix issue that prevented instantiating some tvars before implicit search | Guillaume Martres | 2015-10-25 | 2 | -3/+29 |
| | | | |||||
| * | | Less eager tvar interpolation: wait until method calls are fully applied | Guillaume Martres | 2015-10-25 | 2 | -2/+23 |
|/ / | | | | | | | Fix #738 | ||||
* | | Merge pull request #843 from dotty-staging/fix-#830 | odersky | 2015-10-25 | 2 | -3/+25 |
|\ \ | | | | | | | Fix #830: Compiler hangs on implicit search with singleton &/| | ||||
| * | | Only replace intersections of constants with Nothing | Martin Odersky | 2015-10-23 | 1 | -4/+10 |
| | | | |||||
| * | | Fix #830: Compiler hangs on implicit search with singleton &/| | Martin Odersky | 2015-10-22 | 2 | -3/+19 |
| | | | | | | | | | | | | | | | | | | In fact we get a deep subtype recursion when compileing i830.scala. The problem goes away once we make use of the fact that the intersection of two singleton types which are not subtypes of each other is empty. | ||||
* | | | Merge pull request #858 from lampepfl/DarkDimius-patch-3 | Dmitry Petrashko | 2015-10-23 | 1 | -1/+1 |
|\ \ \ | | | | | | | | | Add link to gitter channel, delete travis badge. | ||||
| * | | | Add link to gitter channel, delete travis badge. | Dmitry Petrashko | 2015-10-23 | 1 | -1/+1 |
|/ / / | |||||
* | | | Merge pull request #857 from dotty-staging/change-readme | Dmitry Petrashko | 2015-10-23 | 2 | -7/+86 |
|\ \ \ | | | | | | | | | Change readme | ||||
| * | | | Change readme to reflect current state | Martin Odersky | 2015-10-23 | 1 | -7/+23 |
| | | | | |||||
| * | | | fix typos | Martin Odersky | 2015-10-23 | 1 | -8/+8 |
| | | | | |||||
| * | | | fix typos | Martin Odersky | 2015-10-23 | 1 | -2/+4 |
| | | | | |||||
| * | | | fix typos | Martin Odersky | 2015-10-23 | 1 | -3/+3 |
| | | | | |||||
| * | | | fix typos | Martin Odersky | 2015-10-23 | 1 | -2/+2 |
| | | | | |||||
| * | | | Draft blog post | Martin Odersky | 2015-10-23 | 1 | -0/+61 |
| | |/ | |/| | |||||
* | | | Merge pull request #853 from dotty-staging/partest-run | Dmitry Petrashko | 2015-10-23 | 4 | -7/+12 |
|\ \ \ | |/ / |/| | | Run CI-partest with bootstrapped compiler | ||||
| * | | Print stack traces before creating stub symbols | Dmitry Petrashko | 2015-10-23 | 2 | -3/+8 |
| | | | |||||
| * | | Revert "Workaround #840" | Dmitry Petrashko | 2015-10-23 | 1 | -1/+1 |
| | | | | | | | | | | | | This reverts commit acd7b9d31cd0a2fbc285921bdc5a7bdc9c1d2872. | ||||
| * | | Enable running pos tests in partest | Dmitry Petrashko | 2015-10-23 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | As junit tests are run with dotty-compiled-by-scalac, it makes sense to execute run tests with dotty-compiled-by-dotty. | ||||
| * | | Run partest under bootstrapped dotty. | Dmitry Petrashko | 2015-10-23 | 1 | -3/+3 |
| | | | |||||
| * | | Workaround #840 | Dmitry Petrashko | 2015-10-23 | 1 | -1/+1 |
| | | | |||||
* | | | Merge pull request #852 from dotty-staging/fix-script | Dmitry Petrashko | 2015-10-23 | 2 | -1/+2 |
|\ \ \ | |/ / |/| | | Fix bug in dotc script | ||||
| * | | Indicate that dotty is being built. | Dmitry Petrashko | 2015-10-23 | 1 | -0/+1 |
| | | | |||||
| * | | Fix bug in dotc script. | Dmitry Petrashko | 2015-10-23 | 1 | -1/+1 |
|/ / | | | | | | | Used to always use bootstrapped version |