aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Add Function25 on top of #1413.Nicolas Stucki2016-07-287-2/+123
|
* Merge pull request #1289 from dotty-staging/fix/partest-separateGuillaume Martres2016-07-2717-39/+96
|\ | | | | partest: Enable separate compilation
| * Refine HKApply#superTypeMartin Odersky2016-07-281-1/+1
| |
| * Fix HkApply#superType if type constructor is a TypeVarMartin Odersky2016-07-271-0/+3
| | | | | | | | In this case, supertype is not stable and should not be cached.
| * Don't generate outer accessors for Java innner classes.Martin Odersky2016-07-271-1/+1
| | | | | | | | Java's naming convention is different from Scala's.
| * Fix colltest4: ListBuffer[A]#fromIterable had an incorrect castFelix Mulder2016-07-272-2/+2
| |
| * Move java tests relying on type parameters to pendingGuillaume Martres2016-07-274-0/+0
| | | | | | | | | | | | | | Currently, the classfiles emitted by dotty do not contain the type parameters information that javac relies on. Fixing this is tracked by #1303.
| * pos/java-interop/volatile: Fix compilation with javacGuillaume Martres2016-07-271-0/+0
| | | | | | | | javac wants the public class name to match the filename.
| * partest: put more stuff on javac classpathGuillaume Martres2016-07-271-0/+56
| | | | | | | | | | | | | | | | Some java tests require the scala-library to be present on the classpath, this fixes tests/pos/java-interop/{t1186, t1235, t1254, t1642}. Also correctly redirect the output of javac so that it will be displayed by partest --verbose
| * Remove overloaded constructor for annotationsGuillaume Martres2016-07-272-5/+15
| | | | | | | | | | | | This lead to inference failures when separately compiling t1751 and t294, this did not happen under joint compilation because JavaParser does not create the overloaded constructor
| * Fix colltest5 test under separate compilationGuillaume Martres2016-07-274-3/+5
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This test failed before because strawman.collections.CollectionStrawMan5 is defined in two places: - src/strawman/collections/CollectionStrawMan5.scala - tests/run/colltest5/CollectionStrawMan5_1.scala The first will be compiled by scalac (unless the tests are run through a bootstrapped dotty) and the second will be compiled by dotty, the value class encoding of scalac and dotty are not binary compatible. This would not be a problem if we always used the `CollectionStrawMan5` coming from the partest output directory and ignored the one in the dotty sources, but which one gets picked depends on the classpath and whether compilation is joined or separate, see #1301. For now, it's safer and simpler to just avoid having tests which define a class that is also defined in the sources of dotty. Also, fix a bug in colltest4 where it was importing CollectionStrawMan5 instead of CollectionStrawMan4
| * Make private accessor in value class not-private.VladimirNik2016-07-271-1/+12
| | | | | | | | | | This is necessary to unbox the value class when accessing it from separate compilation units
| * partest: Enable separate compilation and javac testsGuillaume Martres2016-07-272-27/+2
| | | | | | | | | | | | | | | | | | | | | | | | partest can separately compile files based on their suffix (_1, _2, ...), it turns out that this feature was never enabled in the dotty version of partest and no one noticed (it prints warnings in ./tests/partest-generated/gen.log which no one reads), tests with *.java files should be compiled both with javac and dotty, but compiling with javac was also disabled. Enabling this revealed some latent bugs that will be fixed in the next few commits.
* | Merge pull request #1421 from cswinter/repl-inversion-fixodersky2016-07-272-6/+6
|\ \ | | | | | | Fix #1411: Give REPL output in correct order
| * | Fix #1411: Give REPL output in correct orderClemens Winter2016-07-272-6/+6
| | |
* | | Merge pull request #1349 from kzys/jline-removeGuillaume Martres2016-07-279-46/+7
|\ \ \ | |/ / |/| | Fixes #1316: Remove JLine
| * | Fixes #1316: Remove JLineKazuyoshi Kato2016-07-279-46/+7
|/ / | | | | | | | | Dotty uses ammonite.terminal since April (53bd25f) which replaces JLine. There is no reason to keep it anymore.
* | Merge pull request #1415 from dotty-staging/fix-i1354odersky2016-07-273-8/+56
|\ \ | | | | | | fix #1354: improve type test of union types
| * | fix #1354: improve type test and typecast of union typesliu fengyun2016-07-263-8/+56
| |/
* | Merge pull request #1418 from dotty-staging/fix-1353odersky2016-07-271-1/+4
|\ \ | | | | | | Fix #1353 : more friendly error message for case trait
| * | more friendly error message for case traitliu fengyun2016-07-271-1/+4
|/ /
* | Merge pull request #1416 from dotty-staging/fix/Xprint-colorsNicolas Stucki2016-07-271-6/+7
|\ \ | | | | | | -Xprint-diff-del: more meaningful colors
| * | -Xprint-diff-del: more meaningful colorsGuillaume Martres2016-07-261-6/+7
| | | | | | | | | | | | | | | When a line is modified, show the deleted part in red and the added part in green instead of using magenta and yellow which are confusing.
* | | Merge pull request #1412 from dotty-staging/fix-#1284odersky2016-07-263-9/+33
|\ \ \ | |/ / |/| | Fix #1284: Make classTag depend directly on erasure
| * | Fix #1284: Make classTag depend directly on erasureMartin Odersky2016-07-253-9/+33
| | | | | | | | | | | | | | | | | | In the end, a classTag reflects the erased version of a type. The only condition for its generation should be that the erasure is stable under possible instantiations.
* | | Merge pull request #1409 from dotty-staging/fix-hk-typdefs-of-lambdasGuillaume Martres2016-07-255-17/+43
|\ \ \ | |_|/ |/| | Fix parameterized typedefs with lambdas as rhs
| * | Simplify abstractedMartin Odersky2016-07-221-5/+5
| | | | | | | | | | | | | | | As @smarter noted, makes no sense to use a boolean parameter here. We got there by refactoring blindness.
| * | Take curried type lambdas into accountMartin Odersky2016-07-224-10/+29
| | | | | | | | | | | | | | | Adapt operations TypeApplications and TypeComparer to account for the possibilities of curried type lambdas.
| * | Fix parameterized typedefs with lambdas as rhsMartin Odersky2016-07-222-8/+15
| | | | | | | | | | | | | | | | | | Previously the compiler crashed when faced with a parameterized typedef that has a lambda as rhs. We fix this by refining the condition when not to abstract in typeDefsig.
* | | Merge pull request #1413 from dotty-staging/fix-#1385odersky2016-07-254-2/+57
|\ \ \ | |_|/ |/| | Fix #1385: Temporarily lift 22 limit for functions
| * | Adress reviewers commentsMartin Odersky2016-07-252-2/+2
| | |
| * | Fix #1385: Temporarily lift 22 limit for functionsMartin Odersky2016-07-254-2/+57
|/ /
* | Merge pull request #1407 from dotty-staging/fix-#1401liu fengyun2016-07-228-15/+71
|\ \ | |/ |/| Fix #1401: Make sure all references are forwarded
| * Resume suspensions also when reading from classfilesMartin Odersky2016-07-224-10/+17
| | | | | | | | | | Make treatment in Scala2Unpickler and Namer the same and factor out common functionality.
| * Fix #1401: Make sure all refs are forwardedMartin Odersky2016-07-216-10/+59
| | | | | | | | | | | | | | | | | | | | | | | | Faced with recursive dependencies through self types, we might have to apply `normalizeToClassRefs` to a class P with a parent that is not yet initialized (witnessed by P's parents being Nil). In that case we should still execute forwardRefs on P, but we have to wait in a suspension until P is initialized. This avoids the problem raised in #1401. I am still not quite sure why forwardRefs is needed, but it seems that asSeenFrom alone is not enough to track the dependencies in this case.
| * Tweaks to printingMartin Odersky2016-07-212-2/+2
|/ | | | | - increase page width - print scopes more legibly under -verbose
* Merge pull request #1395 from dotty-staging/fix-#1378odersky2016-07-218-13/+45
|\ | | | | Fix #1378: Propagate more knowledge of result type into applications
| * Disable stdlib testMartin Odersky2016-07-181-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Interestingly, adding mutable.BufferLike to the whitelist succeeds under junit but fails under partest. Unfortunately I can't see any output in the log indicating what went wrong. I only see this: !! 306 - pos/compileStdLib [compilation failed] # Failed test paths (this command will update checkfiles) test/partest --update-check \ /Users/odersky/workspace/dotty/tests/partest-generated/pos/compileStdLib
| * Add test to whitelistMartin Odersky2016-07-171-0/+1
| | | | | | | | This should have been done in a PR that was merged before.
| * Adress reviewers commentsMartin Odersky2016-07-173-8/+10
| |
| * Proparage function result constrains when inferring parameter typesMartin Odersky2016-07-165-2/+33
| | | | | | | | | | | | | | | | If an application has functions with implicit parameter types we need to be more aggressive about propagating knowledge of the expected result type into the constraint. Fixes #1378.
| * Add recursive calls to classBoundMartin Odersky2016-07-161-2/+2
| | | | | | | | As observed by @smarter, makes sense to do this.
| * Fix error printing in compiler testMartin Odersky2016-07-161-9/+7
| | | | | | | | Error messages were suppressed so far, now get printed.
* | Merge pull request #1406 from dotty-staging/fix-output-diffodersky2016-07-212-3/+6
|\ \ | | | | | | Make -Xprint-diff an opt-in option.
| * | Make -Xprint-diff an opt-in option.Nicolas Stucki2016-07-202-3/+6
|/ / | | | | | | | | | | * -Xprint:[...] alone prints the trees without diffs. * -Xprint-diff enables the diff on -Xprint. * -Xprint-diff-del enables the diff with deletes on -Xprint.
* | Merge pull request #1402 from dotty-staging/fix-wildcard-protosGuillaume Martres2016-07-193-4/+18
|\ \ | | | | | | Fix wildcard protos
| * | Add test caseMartin Odersky2016-07-191-0/+11
| | |
| * | Refine printing of tuple an function types with wildcardsMartin Odersky2016-07-191-3/+3
| | |
| * | Allow function prototypes to have wildcards.Martin Odersky2016-07-191-1/+4
| | |
* | | Merge pull request #1400 from dotty-staging/fix/hk-reduce-typerefsodersky2016-07-194-15/+31
|\ \ \ | |/ / |/| | HK reduction: Remove special-case for typerefs
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-08 02:24:46 +0000