aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/Main.scala
Commit message (Collapse)AuthorAgeFilesLines
* Better documentation of main classesMartin Odersky2016-04-011-2/+1
|
* newCompiler now takes a context parameterMartin Odersky2016-02-171-2/+1
| | | | | Makes side-effecting initialization of interpreter unnecessary.
* Remove -resident settingMartin Odersky2015-06-291-17/+0
|
* Partest 1/3: Pass PrintWriter as argument for context creationvsalvis2015-06-241-2/+2
|
* Changed handling of repeated parameters.Martin Odersky2014-05-081-2/+0
| | | | | | | | | | | | | | Previously, repeated parameters were typed as `<repeated>[T]`. The method `underlyingWithRepeated` converts `<repeated>[T]` to `Seq[T]`. This method was called in typedIdent, but the call was ineffective because the type of a repeated parameter ident is a TermRef. This led to a retyping error in Decorators.scala under -Ycheck:front. We now distinguish between the type of the internal parameter ValDef and the type of the parameter in the MethodType. The former has the type `Seq[T] @dotty.annotation.internal.repeated`, the latter has the type `<repeated>[T]`. The translation with `underlyingWithRepeated` thus becomes unneccessary.
* Drop task of simplifying hk types.Martin Odersky2014-02-281-3/+1
| | | | See examplation in 2nd commit of branch aborted/simplify-hk.
* Fix bug for reading type arguments in ClassfileParserMartin Odersky2014-02-061-3/+0
|
* Replacing most occurrences of HashMap with AnyRefMapMartin Odersky2014-01-301-0/+1
|
* Make better use of AndOrTypes.Martin Odersky2014-01-201-1/+0
|
* For a typeRef, prefer info.isAlias over symbol.isAliasTypeMartin Odersky2014-01-201-2/+2
| | | | Reason: This works even for typeRefs with joint-ref denotations, even if the symbol does not exist. The only reason to use symbol.isAliasType is if info.isAlias can produce a cycle.
* Refinement of fully-defined accumulator.Martin Odersky2014-01-191-1/+1
| | | | It needs to follow type aliases in order not to give false indications what variables are contained in a type.
* Fix problem with duplicate companion objects for classes with default ↵Martin Odersky2014-01-171-1/+0
| | | | parameters in constructors.
* Make typedAhead adapt to prototype.Martin Odersky2014-01-171-0/+1
| | | | Not sure why it was different before. We need it at least to add implicit parameters in typedAheadExpr.
* More refined handling of avoidable aliases.Martin Odersky2014-01-131-0/+1
|
* New subtype constraint maintenance algorithm.Martin Odersky2014-01-071-1/+0
| | | | | | | | | | Objective: Avoid cycles by detecting all cases where A <: B and B <: A and removing those cases by unifuing A and B. Cycles need to be avoided because they lead to deep subtype recursions.
* Fix in constrainResultMartin Odersky2014-01-041-0/+2
| | | | | | | | | | Need to handle the case of a curried method with result type (Ts)T and expected type Ts => T
* Reverting a change in `tpd` that would no longer be type-correct under dotty ↵Martin Odersky2014-01-011-0/+7
| | | | | | rules. (reverted from commit 50ab9f559ad36b916d24e733df3629994d239583) We now admit `identity _` and, if the expected type is a function type, pass this type on to the function. If the expected type is not a function type, we pass on AnyFunctionProto.
* Added unit testing supportMartin Odersky2013-11-181-4/+7
|
* Reverting explicit arguments for zipoped/unzipMartin Odersky2013-08-291-1/+1
| | | | | | … after figuring out the root cause: conforms needs to be renamed because otherwise it shadows Predef.conforms. Also fixing two bugs in Desugar.
* Fixed bugs related to typechecking closures.Martin Odersky2013-08-271-1/+1
|
* Making Main friendler as a compile target for dottyMartin Odersky2013-08-211-2/+2
|
* Added main runner and driver.Martin Odersky2013-08-121-0/+23
Left dummies for Compiler and Run.
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-29 19:16:09 +0000