aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* workaround for ScalaMeter incorrect report pathliu fengyun2016-04-142-9/+54
| | | | | | | | | The ScalaMeter issue is reported here: https://github.com/scalameter/scalameter/pull/163/files The issue exists both in v0.7 and v0.6. As dotty uses v0.6 now, use this workaround until we upgrate to a new version of ScalaMeter.
* Merge pull request #1213 from felixmulder/topic/comment-parsing-fixDmitry Petrashko2016-04-113-4/+34
|\ | | | | Fix issues with `enterBlock` for comment parsing
| * Fix issues with `enterBlock` for comment parsingFelix Mulder2016-04-113-4/+34
|/
* Merge pull request #1151 from felixmulder/topic/wip-docstringsodersky2016-04-0811-46/+605
|\ | | | | Add support for raw docstrings in ASTs
| * Remove old datastructure for commentsFelix Mulder2016-04-071-7/+0
| |
| * Add commandline argument `-Ykeep-comments` to remove hardcodingFelix Mulder2016-04-073-7/+12
| |
| * Add binding between Symbol and Untyped tree in base contextFelix Mulder2016-04-076-41/+95
| | | | | | | | This commit also adds a printer for use by dottydoc.
| * Implement comments as attachments instead of tree membersFelix Mulder2016-04-074-19/+16
| |
| * Change tests to be based on JUnit, rename comments variableFelix Mulder2016-04-073-515/+463
| |
| * Add docstring support for types, vals, vars and defsFelix Mulder2016-04-072-15/+150
| |
| * Fix association of docstrings based on posisitionFelix Mulder2016-04-073-11/+71
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This commit fixes errors that would've occurred in this situation: ``` /** Docstring 1 */ <- this one would've been chosen /** Docstring 2 */ /** Docstring 3 */ class Class ``` And this situation: ``` /** Docstring 1 */ trait Trait /** Docstring 2 */ <- this one would've been chosen ```
| * Add package object supportFelix Mulder2016-04-072-7/+99
| |
| * Add ability to parse nested classes/traits docstringsFelix Mulder2016-04-073-26/+85
| |
| * Fix traits w/o bodies not getting the correct docstringFelix Mulder2016-04-072-13/+38
| |
| * Add tests for classes and traitsFelix Mulder2016-04-074-4/+163
| |
| * Add initial support for raw docstrings in ASTsFelix Mulder2016-04-073-9/+41
| |
* | Merge pull request #1201 from liufengyun/i972Dmitry Petrashko2016-04-081-0/+74
|\ \ | |/ |/| Check Java classes are not used as objects
| * Check Java classes are not used as objectsliu fengyun2016-04-041-0/+74
| | | | | | | | | | | | | | | | | | | | Following code should not pass Ycheck: import java.lang.Math val myMath: Math.type = Math myMath.sqrt(3.0) id(myMath)
* | Merge pull request #1186 from dotty-staging/fix-#1185odersky2016-04-0616-180/+380
|\ \ | | | | | | Improvements to cyclic checking, avoidance, named parameters
| * | Domain checking for named type parametersMartin Odersky2016-03-303-10/+18
| | | | | | | | | | | | | | | | | | Now verifies that the named type parameters of an overriding type or class are the same as the named type parameters of an overridden type.
| * | Base deskolemize on ApproximatingTypeMapMartin Odersky2016-03-301-88/+9
| | |
| * | Add ApproximatingTypeMap classMartin Odersky2016-03-301-22/+94
| | | | | | | | | | | | | | | | | | Also: In a TypeMap, the variance of the prefix is unchanged (was: always 0). This brings it in line with TypeAccumulator and the subtyping rules.
| * | Fix documentation of liftIfHKMartin Odersky2016-03-301-1/+1
| | |
| * | Fix a case in deskolemize.Martin Odersky2016-03-301-1/+1
| | | | | | | | | | | | We should not return a ClassInfo as a value type.
| * | Simplify widenToParentsMartin Odersky2016-03-301-4/+5
| | | | | | | | | | | | No need to form the glb.
| * | Adapt type assignment for AppliedTypeTrees to new named paramsMartin Odersky2016-03-301-6/+4
| | |
| * | Test casesMartin Odersky2016-03-302-2/+52
| | |
| * | Don't lambda expand and/or types over named type parametersMartin Odersky2016-03-301-2/+16
| | | | | | | | | | | | | | | Do it only if at least one of the types has unnamed parameters. This is a fundamental conflict with how we deal with intersections and unions.
| * | Take named type parameters into account when instantiating variables.Martin Odersky2016-03-301-1/+5
| | | | | | | | | | | | | | | | | | When instantiating a type variable, make the instance has the same named type parameters as the upper bound. This is the analogue of kind-correctness for named type parameters.
| * | Add methods for expressing named type paramsMartin Odersky2016-03-302-0/+75
| | | | | | | | | | | | | | | Add methods for expressing what the named type parameters of a class or type are. Also, add a method that widens a type so that is has a specified set of named type parameters.
| * | Fix bug in printing New nodesMartin Odersky2016-03-301-1/+1
| | | | | | | | | | | | Explicitly given type parameters were printed twice.
| * | Fix test case.Martin Odersky2016-03-301-4/+4
| | | | | | | | | | | | The intent is that Repr implementations should not bind the Out parameter.
| * | Fix error message output.Martin Odersky2016-03-301-1/+1
| | | | | | | | | | | | Type was printed in raw form.
| * | Fix type-shifting problem in vcInlineMethodsMartin Odersky2016-03-301-1/+1
| | | | | | | | | | | | | | | | | | | | | vcInlineMethods could produce a different type on rewire which led to a -Ycheck failure. We now insert a cast when that happens. Test case: pos/flowops1.scala with -Ycheck:vcInline.
| * | Add test for #1181 to pendingMartin Odersky2016-03-301-0/+12
| | |
| * | Simplify and fix avoid logicMartin Odersky2016-03-303-27/+43
| | | | | | | | | | | | | | | The previous formulation broke for named parameters. Test case in flowops1.scala.
| * | Fixes to checkNonCyclicMartin Odersky2016-03-302-20/+49
| | | | | | | | | | | | | | | | | | | | | | | | | | | Simplified logic and now check prefixes of TypeRefs. Without the simplified logic we would get false cyclic errors for ski.scala. Test case: flowops.scala Fixes #1185.
* | | Merge pull request #1199 from dotty-staging/fix-stale-symodersky2016-04-065-24/+24
|\ \ \ | | | | | | | | Make erased value type take a TypeRef instead of a ClassSymbol
| * | | Fix doc commentMartin Odersky2016-04-031-1/+1
| | | |
| * | | Make erased value type take a TypeRef instead of a ClassSymbolMartin Odersky2016-04-035-23/+23
| | |/ | |/| | | | | | | To address #1198, we need to avoid putting symbols in ErasedValueTypes.
* | | Merge pull request #1203 from lampepfl/DarkDimius-patch-5odersky2016-04-061-1/+1
|\ \ \ | | | | | | | | Two fixes to TermRefWithSignature.newLikeThis
| * | | Fix TermRefWithSignature.newLikeThisDmitry Petrashko2016-04-041-1/+1
| | | | | | | | | | | | | | | | | | | | Used to not support more precise prefixes. Assumed that symbol does not change.
| * | | Fix double computation in TermRefWithSignature.newLikeThisDmitry Petrashko2016-04-041-1/+1
| |/ / | | | | | | Used to compute `asMemberOf(prefix)` twice.
* | | Merge pull request #1204 from liufengyun/jlineodersky2016-04-063-9/+19
|\ \ \ | |/ / |/| | simple integration with jline
| * | simple integration with jlineliu fengyun2016-04-053-9/+19
|/ /
* | Merge pull request #1172 from dotty-staging/compiler-docsodersky2016-04-0135-82/+345
|\ \ | | | | | | First of a series of compiler design documents
| * | Drop Mode.scala from tasty_typer testMartin Odersky2016-04-011-1/+1
| | | | | | | | | | | | File was moved, it's no longer in package typer.
| * | PolishingMartin Odersky2016-04-011-10/+11
| | |
| * | Better documentation of main classesMartin Odersky2016-04-015-3/+12
| | |
| * | Add linksMartin Odersky2016-04-011-6/+14
| | |
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-28 10:32:38 +0000