aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Move threshold values to ConfigMartin Odersky2015-05-215-24/+29
| | | | It's a more logical home for them than the Context object.
* Implement type beta reduction in lookupRefinedMartin Odersky2015-05-211-14/+44
| | | | lookupRefined now reduces fully instantiated lambdas.
* Generaize canWiden to classBoundsMartin Odersky2015-05-212-11/+16
| | | | | This gives us a cheap way to bound the search of all baseclasses in testLifted.
* Rename for clarityMartin Odersky2015-05-211-4/+4
|
* Add test case for higher-kinded operations on collectionsMartin Odersky2015-05-211-0/+52
| | | | The test case that caused all previous commits in this branch.
* Fix DenotationNotDefinedHere in pattern matcherMartin Odersky2015-05-213-3/+5
| | | | | This was uncovered by previous commit "Fix isSubType bug ...". Also removed two redundants ".fresh" calls in "fresh.addMode".
* Fix isSubType bug related to testLiftedMartin Odersky2015-05-212-7/+9
| | | | | | | testLifted widened a type to an some base type constructor when comparing with a type lambda. This can return false positives if the widened type is on the right of the comparison. The fix adds a parameter to testLifted indicating whether widening is permitted.
* Specialize printing of Lambda abstractions.Martin Odersky2015-05-212-1/+82
| | | | | | | | Use the proposed Lambda syntax [HK$0, ..., HK$n] => body for them.
* Fix error in derivedTypeAliasMartin Odersky2015-05-211-1/+1
| | | | Need to generate new type if variance differs from old one.
* Harden isLambdaArgNameMartin Odersky2015-05-211-2/+8
| | | | | | Previously we could have returned true here yet a subsequent lambdaArgIndex would fail with a Numberformat error. This scenario is prevented now.
* Shorten lambda arguments to HK$Martin Odersky2015-05-211-1/+1
| | | | ... makes diagnostics more legible.
* Add "Printing" modeMartin Odersky2015-05-213-2/+5
| | | | | | | | | | | Idea: when printing, we should be more lenient about conditions that would otherwise cause an assertion failure, because we want to avoid triggering further assertions while diagnosing previous errors. As a start we generalize an assertion that RefinedTypes cannot be created after erasure. This gets triggered when playing around with printing lambdas at erasure time (see following commit): erasure runs at phase erasure + 1, so ctx.erasedTypes is true, but we might still want to print lambdas then, and printing lambdas will create new refined types as of next commit.
* Make normalizeToRef survive annotated typesMartin Odersky2015-05-213-6/+7
| | | | Did not handle this case before.
* Disallow {...} arguments for annotationsMartin Odersky2015-05-213-3/+16
| | | | | This mimics scalac's behavior (but not the official syntax; in fact the official syntax seems to be ambiguous.
* Allow AnnotatedType in operands of `with`.Martin Odersky2015-05-212-16/+21
| | | | Brings in line with Scala 2 spec.
* Merge pull request #589 from smarter/fix/trait-init-nameDmitry Petrashko2015-05-212-2/+3
|\ | | | | TraitConstructors: Use a valid method name for the initializer (fix #577)
| * TraitConstructors: Use a valid method name for the initializer (fix #577)Guillaume Martres2015-05-212-2/+3
| |
* | Merge pull request #572 from dotty-staging/fix/#569-newRefArrayDmitry Petrashko2015-05-211-4/+14
|\ \ | | | | | | Fix/#569 new ref array
| * | Fix commentMartin Odersky2015-05-211-1/+1
| | |
| * | Better fix for $569Martin Odersky2015-05-211-7/+13
| | | | | | | | | | | | | | | We now provide a ndew symbol for the `newRefArray` definition, which makes any further treatment after erasure unnecessary.
| * | Fix #569 - newRefArrayMartin Odersky2015-05-211-2/+6
| |/ | | | | | | | | newRefArray needs to be treated specially at and after erasure because it is the only source-defined method that's still polymoprhic.
* | Merge pull request #590 from smarter/fix/lifted-inner-uses-thisDmitry Petrashko2015-05-213-1/+27
|\ \ | |/ |/| Fix #580: use isContainedIn to support cases where the enclosing class is also the top-level class
| * Fix #580: use isContainedIn to support cases where the enclosing class is ↵Guillaume Martres2015-05-213-1/+27
|/ | | | also the top-level class
* Merge pull request #591 from dotty-staging/scala-infraodersky2015-05-208-3/+41
|\ | | | | Make dotty use scala-infra for CI.
| * Add -e to bash options in scripts.Dmitry Petrashko2015-05-203-0/+6
| | | | | | | | See discussion in #591
| * Run builds in parallel on the same machine.Dmitry Petrashko2015-05-204-3/+4
| | | | | | | | Allows sbts not to lock on the same ivy cache.
| * Disable byNameVarargs. Kills JVM.Dmitry Petrashko2015-05-201-0/+0
| |
| * Move `scala/scala` sources to ./scala/ from ../scala/Dmitry Petrashko2015-05-203-3/+3
| | | | | | | | Needed for scala-infra.
| * Integrating with scala-infra for CI.Dmitry Petrashko2015-05-204-0/+31
|/ | | | See https://github.com/scala/scala-jenkins-infra/pull/56
* Merge pull request #584 from smarter/fix/isUnboxDmitry Petrashko2015-05-184-12/+24
|\ | | | | Fix null unboxing of primitives (fixes #582)
| * Fix null unboxing of primitives (fixes #582)Guillaume Martres2015-05-184-12/+24
|/ | | | | Erasure#isUnbox was incorrect: the unbox methods are defined on the value classes, not the boxed classes.
* Merge pull request #574 from dotty-staging/fix/#568Dmitry Petrashko2015-05-151-1/+2
|\ | | | | Make Child annotation lazy
| * Make Child annotation lazyMartin Odersky2015-05-151-1/+2
| | | | | | | | | | | | | | Otherwise we get bootstrap problems when trying to compile Child: Completing Predef with the Scala2Unpickler causes Child annotations to be added to parents of case classes. But completing Child would depend on completion of Predef. Making child annotations lazy avoids the cycle.
* | Merge pull request #575 from dotty-staging/fix/#566Dmitry Petrashko2015-05-152-3/+7
|\ \ | |/ |/| As i566 shows, it is possible to have a package as prefix, a package
| * As i566 shows, it is possible to have a package as prefix, a packageMartin Odersky2015-05-152-3/+7
|/ | | | | | | | | | object as owner and be followed by type arguments: reflect.classTag[T] expands to reflect.`package`.classTag[T]
* Merge pull request #558 from dotty-staging/run-testsDmitry Petrashko2015-05-153387-27/+93299
|\ | | | | Add run tests to pending.
| * Fix i499 test. fails due to #546Dmitry Petrashko2015-05-131-4/+3
| |
| * Use LegacyApp in run tests.Dmitry Petrashko2015-05-13902-959/+902
| |
| * Introduce LegacyApp to simplify porting run tests. #559Dmitry Petrashko2015-05-131-0/+9
| |
| * Partest command line options (same as scala) useable from sbtvsalvis2015-05-132-8/+15
| |
| * Run partest directory as whole by default.Dmitry Petrashko2015-05-132-15/+21
| |
| * Running rewrite tool on run tests.Dmitry Petrashko2015-05-13731-1786/+2131
| |
| * Run tests as they were in scala.Dmitry Petrashko2015-05-123383-0/+92963
| |
* | Merge pull request #565 from retronym/topic/cleanupsDmitry Petrashko2015-05-1547-119/+112
|\ \ | | | | | | Fix typos, scaladoc tags, and some minor code smells.
| * | Fix an ironic typo in the typo fixing commitJason Zaugg2015-05-141-1/+1
| | |
| * | val is redundant for case class parameters.Jason Zaugg2015-05-142-2/+2
| | |
| * | Remove redundant parentheses.Jason Zaugg2015-05-143-18/+18
| | |
| * | Fix a few Scaladoc warningsJason Zaugg2015-05-143-5/+5
| | |
| * | Correct a large number of typos.Jason Zaugg2015-05-1442-85/+85
| | | | | | | | | | | | | | | I scanned the main sources with IntellIJ's spell checker and corrected what showed up.
| * | Fix parameter name in Scaladoc.Jason Zaugg2015-05-141-1/+1
| | |
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 21:32:34 +0000