aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Better handling of implicits over numeric types.Martin Odersky2015-11-015-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/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.
| * | Add missing test file.Martin Odersky2015-10-301-0/+28
| | |
| * | Fix #884 - misdiagnosed ambiguous definition.Martin Odersky2015-10-298-44/+19
| | | | | | | | | | | | | | | Universal equality strikes again. Caused a bug in isDefinedInCurrentUnit.
* | | Merge pull request #882 from dotty-staging/fix/java-annots-posodersky2015-10-302-1/+4
|\ \ \ | | | | | | | | Set position on annotations parsed from Java
| * | | Set position on annotations parsed from JavaGuillaume Martres2015-10-292-1/+4
| | | | | | | | | | | | | | | | Fix a crash in Typer#assertPositioned
* | | | Merge pull request #883 from dotty-staging/add/Main-processGuillaume Martres2015-10-291-1/+7
|\ \ \ \ | |/ / / |/| | | Make it easier to call the compiler using reflection
| * | | Make it easier to call the compiler using reflectionGuillaume Martres2015-10-291-1/+7
|/ / /
* | | Merge pull request #869 from dotty-staging/fix-#866odersky2015-10-2714-31/+51
|\ \ \ | |/ / |/| | Fix #866
| * | Don't count suppressed errorsMartin Odersky2015-10-266-18/+33
| | | | | | | | | | | | If an error message was supressed to count it in the total.
| * | Keep separate chain of outer reporters for StoreReportersMartin Odersky2015-10-265-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.reporterMartin Odersky2015-10-266-6/+6
|/ / | | | | | | ... making use of method in `ctx`.
* | Merge pull request #865 from dotty-staging/fix-module-alias-subtypingGuillaume Martres2015-10-252-4/+18
|\ \ | | | | | | Fix hole in subtyping of modules
| * | Fix hole in subtyping of modulesMartin Odersky2015-10-252-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-methcallGuillaume Martres2015-10-253-3/+42
|\ \ | | | | | | Fix/inference methcall
| * | Readd `.widen` which was accidentally removed from the previous commitGuillaume Martres2015-10-251-1/+1
| | |
| * | Simplify logic in adaptMartin Odersky2015-10-251-10/+2
| | |
| * | Fix issue that prevented instantiating some tvars before implicit searchGuillaume Martres2015-10-252-3/+29
| | |
| * | Less eager tvar interpolation: wait until method calls are fully appliedGuillaume Martres2015-10-252-2/+23
|/ / | | | | | | Fix #738
* | Merge pull request #843 from dotty-staging/fix-#830odersky2015-10-252-3/+25
|\ \ | | | | | | Fix #830: Compiler hangs on implicit search with singleton &/|
| * | Only replace intersections of constants with NothingMartin Odersky2015-10-231-4/+10
| | |
| * | Fix #830: Compiler hangs on implicit search with singleton &/|Martin Odersky2015-10-222-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-3Dmitry Petrashko2015-10-231-1/+1
|\ \ \ | | | | | | | | Add link to gitter channel, delete travis badge.
| * | | Add link to gitter channel, delete travis badge.Dmitry Petrashko2015-10-231-1/+1
|/ / /
* | | Merge pull request #857 from dotty-staging/change-readmeDmitry Petrashko2015-10-232-7/+86
|\ \ \ | | | | | | | | Change readme
| * | | Change readme to reflect current stateMartin Odersky2015-10-231-7/+23
| | | |
| * | | fix typosMartin Odersky2015-10-231-8/+8
| | | |
| * | | fix typosMartin Odersky2015-10-231-2/+4
| | | |
| * | | fix typosMartin Odersky2015-10-231-3/+3
| | | |
| * | | fix typosMartin Odersky2015-10-231-2/+2
| | | |
| * | | Draft blog postMartin Odersky2015-10-231-0/+61
| | |/ | |/|
* | | Merge pull request #853 from dotty-staging/partest-runDmitry Petrashko2015-10-234-7/+12
|\ \ \ | |/ / |/| | Run CI-partest with bootstrapped compiler
| * | Print stack traces before creating stub symbolsDmitry Petrashko2015-10-232-3/+8
| | |
| * | Revert "Workaround #840"Dmitry Petrashko2015-10-231-1/+1
| | | | | | | | | | | | This reverts commit acd7b9d31cd0a2fbc285921bdc5a7bdc9c1d2872.
| * | Enable running pos tests in partestDmitry Petrashko2015-10-231-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 Petrashko2015-10-231-3/+3
| | |
| * | Workaround #840Dmitry Petrashko2015-10-231-1/+1
| | |
* | | Merge pull request #852 from dotty-staging/fix-scriptDmitry Petrashko2015-10-232-1/+2
|\ \ \ | |/ / |/| | Fix bug in dotc script
| * | Indicate that dotty is being built.Dmitry Petrashko2015-10-231-0/+1
| | |
| * | Fix bug in dotc script.Dmitry Petrashko2015-10-231-1/+1
|/ / | | | | | | Used to always use bootstrapped version
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-18 14:54:12 +0000