aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Check named type params for welformedness rules.Martin Odersky2016-02-193-4/+75
|
* Fix PostTyper normalization for named argsMartin Odersky2016-02-191-6/+4
| | | | | Needs to work also if named arg refers to an abstract type, not a parameter.
* Fix pending test for picklingMartin Odersky2016-02-191-2/+2
| | | | | There is a before/after difference having to do with the order in which class declarations show up.
* Move failing test to pendingMartin Odersky2016-02-191-0/+0
| | | | | | Named parameters cause some elements to be unpickled in a different order as they are pickled. In particular term parameter aliases and type parameter aliases seem to be swapped.
* Avoid cyclic reference error when building dotty.Martin Odersky2016-02-191-2/+1
|
* Make named parameter alias handling more robustMartin Odersky2016-02-191-1/+1
| | | | | | | | | After unpickling we might see an alias X = pre.X where pre =:= the ThisType of the enclosing class. But it might not be `eq` to it.
* Augment test caseMartin Odersky2016-02-192-6/+15
|
* Make some operations surivive partial named parameter listsMartin Odersky2016-02-193-8/+19
| | | | | Types#underlyingClassRef and PostTyper#normalizeTree need to be changed so they can deal with partial named parameter lists.
* First version of named type argumentsMartin Odersky2016-02-196-24/+121
|
* Support named type parametersMartin Odersky2016-02-194-3/+11
| | | | | Changes needed to support simple named type parameters. Not yet implemented: named arguments.
* Remove unnecessary logic in toBoundsMartin Odersky2016-02-191-0/+3
|
* Merge pull request #1107 from dotty-staging/fix/wildApprox-lazyrefodersky2016-02-192-0/+7
|\ | | | | ProtoTypes#wildApprox: fix LazyRef approximation
| * ProtoTypes#wildApprox: fix LazyRef approximationGuillaume Martres2016-02-182-0/+7
| | | | | | | | | | | | | | | | | | | | | | | | Before this commit, the output of `wildApprox(A)` where `A <: Sys[LazyRef(A)]` was `? <: Sys[LazyRef(() => wildApprox(A))]`. This lead to infinite subtyping checks. This is fixed by always approximating a LazyRef by an unbounded wildcard. Since we only create LazyRefs when we encounter a cycle, this should be safe. Fix #1103.
* | Merge pull request #1109 from dotty-staging/add/gitignore-scalaDmitry Petrashko2016-02-191-0/+2
|\ \ | | | | | | .gitignore: add scala-scala
| * | .gitignore: add scala-scalaGuillaume Martres2016-02-191-0/+2
| |/
* | Merge pull request #898 from dotty-staging/add/auto-uncurryodersky2016-02-187-20/+105
|\ \ | |/ |/| Implement auto tupling of function arguments
| * Fix pos testMartin Odersky2016-02-161-1/+1
| | | | | | | | Former test no longer allowed after conforms/compatible change.
| * Untuple using `def` not `val`.Martin Odersky2016-02-163-5/+14
| | | | | | | | As retronym noted on #897, `val` forces to early.
| * Strengthen requirement for auto-tuplingMartin Odersky2016-02-163-2/+6
| | | | | | | | | | | | | | Was: corresponding parameter types "are compatible". Now: corresponding parameter types "conform". This avoids the inconsistency mentioned by @retronym in #897.
| * Turn println into logMartin Odersky2016-02-161-1/+1
| |
| * Fix merge errorMartin Odersky2016-02-161-1/+1
| |
| * Add more pos and neg testsMartin Odersky2016-02-162-1/+5
| | | | | | | | Tests suggested by @retronym's comments on issue #897.
| * Auto-uncurry n-ary functions.Martin Odersky2016-02-165-19/+87
| | | | | | | | Implements SIP #897.
* | Merge pull request #1073 from dotty-staging/fix-#576odersky2016-02-182-5/+43
|\ \ | | | | | | Handle implicits with default parameters.
| * | Add test caseMartin Odersky2016-02-161-0/+18
| | |
| * | Handle implicits with default parametersMartin Odersky2016-02-161-5/+25
| | | | | | | | | | | | | | | | | | If an implicit parameter has a default, then that default should be taken in case no implicit argument is found.
* | | Merge pull request #1094 from j2rodrig/masterodersky2016-02-182-1/+3
|\ \ \ | | | | | | | | Change nested typer creation to allow creation of derived typers
| * | | Support for extending the TyperJonathan Rodriguez2016-02-162-1/+3
| | |/ | |/|
* | | Merge pull request #1082 from dotty-staging/add-replDmitry Petrashko2016-02-1823-23/+1367
|\ \ \ | | | | | | | | Dotty REPL initial version
| * | | Make dummy first line define something usefulMartin Odersky2016-02-171-1/+2
| | | |
| * | | Warm up interpreter during first prompt.Martin Odersky2016-02-172-6/+4
| | | |
| * | | Narrow Interpreter.scala further.Martin Odersky2016-02-171-5/+0
| | | | | | | | | | | | | | | | | | | | compileString is not needed and does not what one might expect (no wrapping). So it should not be exported.
| * | | Remove interpreterSettings logicMartin Odersky2016-02-175-127/+5
| | | | | | | | | | | | | | | | | | | | | | | | Seems to be overkill for the current interpreter. The only thing that was needed was a configrable linewidth. A plain setting works fine for this and is in line with the way things are done elsewhere.
| * | | Adress reviewer commentsMartin Odersky2016-02-172-5/+5
| | | |
| * | | Reinstantiate t920Martin Odersky2016-02-171-0/+24
| | | | | | | | | | | | | | | | | | | | | | | | Got deleted by accident. Version in run has object renamed to prevent case clashes on MacOS. Version that exhibits the clash is in pending/run.
| * | | Turn cleaning on for interpreter generated messagesMartin Odersky2016-02-171-3/+9
| | | | | | | | | | | | | | | | Avoids line$object... gunk.
| * | | Fix validity checking refinementMartin Odersky2016-02-171-2/+3
| | | | | | | | | | | | | | | | | | | | It seems some symbols are valid from NoPhase (0). In any case, we should not check members before typerphase.
| * | | Refine validity checkingMartin Odersky2016-02-171-12/+16
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | When defining a class in the interpreter we had a case where the class was accessed at phase 46 in the backend, yet the denotation was the initial denotation in a previous run. In that case we have to check again at the phase where the denotation is valid. This was not done before, and hence the owner of the denbotation did not contain the symbol because the backend phase is after flatten.
| * | | Add diagnostic why a symbol is stale.Martin Odersky2016-02-172-1/+34
| | | |
| * | | More todosMartin Odersky2016-02-171-0/+1
| | | |
| * | | Better explanation of TODO itemsMartin Odersky2016-02-172-3/+5
| | | |
| * | | Revisions to REPLMartin Odersky2016-02-177-945/+923
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Changes necessary to make basic REPL functionality work. Major refactoing: Code of Interpreter is now in CompilingInterpreter.scala. Interpreter.scala contains just the API.
| * | | Export run contextMartin Odersky2016-02-171-0/+3
| | | |
| * | | newCompiler now takes a context parameterMartin Odersky2016-02-178-20/+13
| | | | | | | | | | | | | | | | | | | | Makes side-effecting initialization of interpreter unnecessary.
| * | | First PoC of REPLMartin Odersky2016-02-1710-0/+1417
| | | | | | | | | | | | | | | | | | | | Adaptation of REPL by Spoon from ca 2007. Compiles OK, but not yet tested.
| * | | Utility method for phase replacementMartin Odersky2016-02-171-0/+7
| | | | | | | | | | | | | | | | | | | | Allows to replace existing phase by sequence of new phases.
| * | | Make output directory overridableMartin Odersky2016-02-172-3/+6
| |/ / | | | | | | | | | | | | | | | | | | The interpreter needs to install a virtual directory as output directory. This is not supported with the -d option in ScalaSettings. The solution is to make the output directory overridable in the GenBCode phase.
* | | Merge pull request #1092 from dotty-staging/value-class-checksDmitry Petrashko2016-02-173-1/+24
|\ \ \ | |/ / |/| | Add checks for value classes
| * | Add checks for value classes:VladimirNik2016-02-163-1/+24
|/ / | | | | | | | | 1. Add errors in case of incorrect parameter; 2. Improvement to error message if value class is defined as a local class;
* | Merge pull request #1075 from dotty-staging/fix-t920-testDmitry Petrashko2016-02-168-37/+160
|\ \ | |/ |/| Drop empty companion objects
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-25 00:33:54 +0000