aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Fix #2000: Make implicit and non-implicit functions incomparable with <:<Martin Odersky2017-02-214-1/+29
| | | | | | | | | Implicit and non-implicit functions are incomparable with <:<, but are treated as equivalent with `matches`. This means implicit and non-implicit functions of the same types override each other, but RefChecks will give an error because their types are not subtypes. Also contains a test for #2002.
* Merge pull request #2007 from dotty-staging/ennru_MixedLeftAndRightAssocFelix Mulder2017-02-204-10/+67
|\ | | | | mixed left and right assoc
| * Use Message ID enumEnno Runne2017-02-202-2/+3
| |
| * Incorporated comments from @felixmulderEnno Runne2017-02-202-11/+12
| |
| * Change 'mixed left- and right-associative operators' to MessageEnno Runne2017-02-203-8/+63
|/
* Merge pull request #1987 from dotty-staging/topic/remove-unused-flagsFelix Mulder2017-02-208-187/+32
|\ | | | | Remove unused flags
| * Make non-existent compiler options emit warnings instead of failingFelix Mulder2017-02-206-15/+16
| |
| * Add option to clear sbt log when using `~`Felix Mulder2017-02-201-0/+2
| |
| * Remove unused flagsFelix Mulder2017-02-203-173/+15
| |
* | Merge pull request #1986 from dotty-staging/error-messages-idsFelix Mulder2017-02-205-56/+116
|\ \ | | | | | | Use enum for error messages IDs.
| * | Use enum for error messages IDs.Nicolas Stucki2017-02-165-56/+116
| | |
* | | Merge pull request #1989 from dotty-staging/remove/scalac-testsGuillaume Martres2017-02-1810-1/+0
|\ \ \ | | | | | | | | Disable tests that require scala-compiler
| * | | Disable tests that require scala-compilerGuillaume Martres2017-02-1810-1/+0
| | |/ | |/| | | | | | | This is necessary if we ever want to get rid of our dependency on scala-compiler
* | | Merge pull request #1972 from dotty-staging/fix/inline-errorsodersky2017-02-182-6/+10
|\ \ \ | | | | | | | | TreeMap/TreeAccumulator: proper context for inlined trees
| * | | TreeMap/TreeAccumulator: proper context for inlined treesGuillaume Martres2017-02-132-6/+10
| | | | | | | | | | | | | | | | | | | | | | | | This was already be done in TreeTraverser but should also be done in TreeMap and TreeAccumulator for ctx.error(..., tree.pos) to not use completely incorrect positions inside inlined trees.
* | | | Merge pull request #1995 from dotty-staging/fix/private-leaks-posodersky2017-02-181-5/+4
|\ \ \ \ | | | | | | | | | | checkNoPrivateLeaks: Use correct position for errors
| * | | | checkNoPrivateLeaks: Use correct position for errorsGuillaume Martres2017-02-171-5/+4
| | |/ / | |/| | | | | | | | | | | | | | | | | | | | | | Previously we never used the `pos` argument of `checkNoPrivateLeaks` and instead used `sym.pos`, this makes a difference for calls to `avoidPrivateLeaks` coming from `TreeUnpickler` where we should use `tree.pos` instead.
* | | | Merge pull request #1994 from dotty-staging/fix-#1991odersky2017-02-183-20/+54
|\ \ \ \ | | | | | | | | | | Fix #1991: Use classtag where available in unapply
| * | | | Fix binding of x @ (e: T) in ClassTag-based patmatGuillaume Martres2017-02-172-7/+14
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | We cannot assume that the untyped rhs of the bind is a `Typed` tree, with extractors it might be an `Apply` node, and in general it might also be a `Parens` node.
| * | | | Fix #1991: Use classtag where available in unapplyMartin Odersky2017-02-173-14/+41
| |/ / /
* | | | Merge pull request #1988 from dotty-staging/fix/bootstrap-no-libraryGuillaume Martres2017-02-171-1/+6
|\ \ \ \ | |/ / / |/| | | Bootstrapped dotty should not depend on non-bootstrapped dotty-library
| * | | Bootstrapped dotty should not depend on non-bootstrapped dotty-libraryGuillaume Martres2017-02-161-1/+6
|/ / /
* | | Merge pull request #1962 from dotty-staging/centralize-function-logicodersky2017-02-167-52/+111
|\ \ \ | |_|/ |/| | Factor out logic for scala functions.
| * | Add checks for synthetic functions and erased functions.Nicolas Stucki2017-02-137-52/+111
| |/ | | | | | | | | | | | | | | * Add `isSyntheticFunction` checks for synthetic functions such as FuntionN for N > 22 and ImplicitFunctionN for N >= 0. * Add `erasedFunctionClass` to get the erased verion of synthetic functions. * Change the semantics of `isFunctionClass` to return true if it is any kind of FunctionN or ImplicitFunctionN.
* | Merge pull request #1983 from ennru/ennru_ExpectedTokenErrorFelix Mulder2017-02-156-13/+75
|\ \ | | | | | | Change '... expected but found ...' to Message
| * | Change '... expected but found ...' to MessageEnno Runne2017-02-146-13/+75
|/ /
* | Fix #1976: Hack to support scala.xml's $scope (#1977)odersky2017-02-145-1/+12
| | | | | | | | | | | | This is a gross hack to support the need for a $scope binding when XML literals are created. It should go away once we phase out XML literals. A library-based solution should use implicits instead.
* | Merge pull request #1979 from dotty-staging/fix-#1975Felix Mulder2017-02-142-5/+12
|\ \ | | | | | | Fix #1975: Align valdefs and for expressions for patterns
| * | Fix #1975: Align valdefs and for expressions for patternsMartin Odersky2017-02-142-5/+12
| | | | | | | | | | | | | | | | | | | | | | | | val definitions and for expressions both distinguish whether something is a pattern or a variable binding. They no do it the same way: `ident` or an `ident: type` is a variable binding, everything else is a pattern. Previously, capitalized idents were considered as bindings in valdefs but as pattern in fors.
* | | disable auto-debug test (#1980)liu fengyun2017-02-142-2/+1
| | | | | | | | | | | | The non-determinism is anonying, disable for now until we have a better solution.
* | | Merge pull request #1978 from dotty-staging/debug-autoliu fengyun2017-02-141-1/+1
|\ \ \ | |/ / |/| | increase command wait time to 1s
| * | increase command wait time to 1sliu fengyun2017-02-141-1/+1
|/ / | | | | | | | | | | | | | | | | | | | | | | | | | | | | This change helps to reduce non-determinism in the test. The problem can happen when two consecute commands interfere: [expect] [jdb] cmd1 ----> sleep 0.5 <--- part 1 of rep1 read & match buffer clear buffer cmd2 ----> <--- part 2 of rep1
* / Ennru forward reference error (#1973)Enno2017-02-144-3/+51
|/ | | | | | | | | | * Change 'forward reference extending over the definition' to Message * Change 'forward reference extending over the definition' to Message * pesky file should not be included * Change 'forward reference extending over the definition' to Message (test case)
* Merge pull request #1931 from dotty-staging/fix-#1501Guillaume Martres2017-02-136-4/+59
|\ | | | | Fix #1501 - Check trait inheritance condition
| * Fix package name of Java's Serializable classMartin Odersky2017-02-101-1/+1
| | | | | | | | It's java.io, not java.lang.
| * Narrow Java exception to inheritance ruleMartin Odersky2017-02-081-3/+5
| | | | | | | | | | Excepted are only Serializable and Comparable. This follows scalac's behavior.
| * Add test scenariosMartin Odersky2017-02-081-0/+10
| |
| * Update test caseMartin Odersky2017-02-081-1/+1
| |
| * Refine AnonClass generationMartin Odersky2017-02-081-1/+1
| | | | | | | | | | | | | | | | | | The leading class should be the superclass of the first trait (which is not always Object). We could think of a more refined condition, (i.e. taking the least common superclass of all extended traits), but I think it's not worth it, as one can always spell out the right superclass manually.
| * Refine checkTraitInheritance conditionMartin Odersky2017-02-081-3/+16
| | | | | | | | | | | | | | | | Need to take account of situations like extends Any with java.io.Serializable which occur in stdlib.
| * Fix #1501 - Check trait inheritance conditionMartin Odersky2017-02-083-1/+31
| | | | | | | | | | We need to check a coherence condition between the superclass of a trait and the superclass of an inheriting class or trait.
* | Merge pull request #1951 from dotty-staging/fix-1484Felix Mulder2017-02-1317-4/+471
|\ \ | | | | | | fix #1484: position of while incorrect in debug
| * | remove noise in test outputliu fengyun2017-02-111-4/+7
| | |
| * | add debug test to droneliu fengyun2017-02-102-1/+2
| | |
| * | remove dependency on scala scriptliu fengyun2017-02-103-172/+182
| | |
| * | add document for debug testsliu fengyun2017-02-101-0/+124
| | |
| * | add more debug files to the testsliu fengyun2017-02-106-0/+87
| | |
| * | add debug for ifliu fengyun2017-02-101-0/+20
| | |
| * | fix #1484: position of while incorrect in debugliu fengyun2017-02-106-3/+225
| | |
* | | Merge pull request #1969 from dotty-staging/fix/annot-funGuillaume Martres2017-02-132-1/+6
|\ \ \ | | | | | | | | Fix parsing annotation on function type