summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Update to the version number, optimistically as...v2.8.1Antonio Cunei2010-11-053-4/+4
| | | | | | | Update to the version number, optimistically assuming that RC4 will become the final. A release will probably be done early next week, unless something comes up at the last minute.
* RC3 -> RC4Antonio Cunei2010-10-263-4/+4
|
* move hasAccessBoundary to compiler where binary...Adriaan Moors2010-10-262-2/+2
| | | | | | move hasAccessBoundary to compiler where binary compatibility is less of a concern
* backported hasAccessBoundary, on which r23355 r...Adriaan Moors2010-10-261-0/+2
| | | | | backported hasAccessBoundary, on which r23355 relies
* Merged revisions 23355 via svnmerge from Adriaan Moors2010-10-267-36/+228
| | | | | | | | | | | | | https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r23355 | extempore | 2010-10-26 06:37:09 +0200 (Tue, 26 Oct 2010) | 4 lines A modifier's work is never done. Another mortal embrace with protected and its bevy of corner cases. Closes #3939, #3947. This patch is intended for both trunk and 2.8.1. Already reviewed and co-authored by moors, and review by oderksy. ........
* [scaladoc] Fixed class filter (event handler wa...Gilles Dubochet2010-10-251-2/+2
| | | | | | [scaladoc] Fixed class filter (event handler was attached to wrong element). No review.
* Temporarily undid port of r23254, just in case,Antonio Cunei2010-10-141-10/+8
| | | | | | while waiting for feedback from Iulian and/or Paul.
* Merged revisions 23252 via svnmerge from Antonio Cunei2010-10-141-8/+10
| | | | | | | | | | | https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r23252 | dragos | 2010-10-14 08:49:46 +0200 (Thu, 14 Oct 2010) | 1 line Fixed wrong tag for Longs, which caused bad java signatures (and a crash building the Eclipse plugin). No review. ........
* 2.8.1.RC2 -> 2.8.1.RC3Antonio Cunei2010-10-133-4/+4
|
* Merged revisions 23246 via svnmerge from Antonio Cunei2010-10-131-4/+4
| | | | | | | | | | | https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r23246 | odersky | 2010-10-13 21:01:25 +0200 (Wed, 13 Oct 2010) | 1 line Closes #3894. Review by dubochet. ........
* Merged revisions 23235 via svnmerge from Adriaan Moors2010-10-121-1/+1
| | | | | | | | | | | https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r23235 | moors | 2010-10-12 17:53:40 +0200 (Tue, 12 Oct 2010) | 1 line closes #3915. needed to quote replacement string for regex replace. no review ........
* Merged revisions 23144 via svnmerge from Antonio Cunei2010-09-292-8/+8
| | | | | | | | | | | | https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r23144 | odersky | 2010-09-29 17:42:39 +0200 (Wed, 29 Sep 2010) | 1 line Reverted an earlier binary incompatible change rolled into r23139. Now, the presentation compiler should have no binary incompatibilties with 2.8.0 ........
* Merged revisions 23129 via svnmerge from Antonio Cunei2010-09-292-4/+2
| | | | | | | | | | | | | | | | | https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r23129 | moors | 2010-09-28 22:20:21 +0200 (Tue, 28 Sep 2010) | 3 lines partial revert of r23128 ("see #3859. need to instantiate type parameters to nothing explicitly in manifestOfType's searchresult rather than relying on later calls to instantiate."): the isArray_apply test cleanup was not a good idea (my pre-commit automated testing turned out to be broken.. me.gitfu--) no review ........
* Merged revisions 23127-23128,23139,23141 via sv...Antonio Cunei2010-09-298-42/+87
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merged revisions 23127-23128,23139,23141 via svnmerge from https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r23127 | moors | 2010-09-28 17:46:36 +0200 (Tue, 28 Sep 2010) | 3 lines closes #3865: scaladoc now prints anonymous type functions since they may occur due to normalization of type constructor arguments of inferred types review by dubochet ........ r23128 | moors | 2010-09-28 17:46:41 +0200 (Tue, 28 Sep 2010) | 3 lines closes #3859. need to instantiate type parameters to nothing explicitly in manifestOfType's searchresult rather than relying on later calls to instantiate. review by odersky ........ r23139 | odersky | 2010-09-29 11:57:49 +0200 (Wed, 29 Sep 2010) | 1 line Closes #3875. Review by vigdorchick. ........ r23141 | odersky | 2010-09-29 15:42:47 +0200 (Wed, 29 Sep 2010) | 1 line Changed Response so that get does what it did before, and get(TIMEOUT) returns provisional results if it can. Review by vigdorchick. ........
* Merged revisions 23108,23119 via svnmerge from Lukas Rytz2010-09-284-2/+96
| | | | | | | | | | | | | | | https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r23108 | rytz | 2010-09-27 11:56:19 +0200 (Mon, 27 Sep 2010) | 1 line close #3864. the error was introduced by commit r22418, which was merged into 2.8.x in r22894. review by dubochet, michelou. ........ r23119 | rytz | 2010-09-28 14:27:53 +0200 (Tue, 28 Sep 2010) | 1 line Update comment in ByteCodecs. No review. ........
* Merged revisions 23111 via svnmerge from Antonio Cunei2010-09-284-74/+34
| | | | | | | | | | | | | | https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r23111 | moors | 2010-09-27 15:27:35 +0200 (Mon, 27 Sep 2010) | 3 lines closes #3873. fixed unsoundness in dependent method types reported by Ingo. review by maier as no good deed goes unpunished ........
* 2.8.1.RC1 -> 2.8.1.RC2Antonio Cunei2010-09-273-4/+4
|
* Merged revisions 23009,23021 via svnmerge from Antonio Cunei2010-09-171-4/+6
| | | | | | | | | | | | | | | https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r23009 | eugenevigdorchik | 2010-09-16 21:30:30 +0200 (Thu, 16 Sep 2010) | 1 line include all symbols from enclosing scopes as well as member of enclosing class chain. review by odersky ........ r23021 | eugenevigdorchik | 2010-09-17 10:56:55 +0200 (Fri, 17 Sep 2010) | 1 line Correctly get all scope symbols and members. review by odersky ........
* svnmerge seems to have missed the new test file...Adriaan Moors2010-09-1622-0/+356
| | | | | | svnmerge seems to have missed the new test files... they were in my working copy, but not added
* Merged revisions 23010-23012 via svnmerge from Adriaan Moors2010-09-1620-260/+460
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r23010 | moors | 2010-09-17 00:26:04 +0200 (Fri, 17 Sep 2010) | 8 lines closes #1569, #3731: refactored dependent method types to get rid of debruijn indices and use singleton types instead. this is the core of the dependent types refactoring, no implicit or inference changes (one baffling discovery: resultType should drop annotations that don't subclass TypeConstraint, even in the trivial case... wow -- thanks to Tiark for helping me figure it out on a terrace in Barcelona TODO: probably need a more principled approach to the propagation of plugin type-annotations) review by odersky ........ r23011 | moors | 2010-09-17 00:26:24 +0200 (Fri, 17 Sep 2010) | 9 lines part 2 of the dependent method refactoring: improved interaction with implicit search (needed for oopsla paper) more to come in this area, see e.g. #3346 (stanford edsl stuff) reopens #13, which wasn't fixed properly before imo, anyway (have a look at -Xprint:typer output before this commit: a type that's not expressible in surface syntax is inferred -- also removed duplicate test file) closes #3731: co-evolve type alias type symbols when their rhs is updated and they are referenced by type selections (see typemap) review by odersky ........ r23012 | moors | 2010-09-17 01:01:19 +0200 (Fri, 17 Sep 2010) | 1 line argh -- merge failure?? -- this was fixed ........
* Merged revisions 23007 via svnmerge from Iulian Dragos2010-09-161-2/+20
| | | | | | | | | | | https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r23007 | dragos | 2010-09-16 16:16:07 +0200 (Thu, 16 Sep 2010) | 1 line Closes #3779. Undo the erasure transformation of array_update inside constructors of specialized subclasses. No review. ........
* Merged revisions 22974 via svnmerge from Iulian Dragos2010-09-161-1/+1
| | | | | | | | | | | https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r22974 | dragos | 2010-09-13 23:18:41 +0200 (Mon, 13 Sep 2010) | 1 line Closes 3627. No review. ........
* Merged revisions 22988-22989 via svnmerge from Antonio Cunei2010-09-162-3/+11
| | | | | | | | | | | | | | https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r22988 | eugenevigdorchik | 2010-09-15 11:06:51 +0200 (Wed, 15 Sep 2010) | 1 line Adding interrupts should wake the server ........ r22989 | eugenevigdorchik | 2010-09-15 11:10:31 +0200 (Wed, 15 Sep 2010) | 1 line Shield interrupts against exceptions in user code ........
* Merged revisions 22669 via svnmerge from Antonio Cunei2010-09-142-36/+37
| | | | | | | | | | | | https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r22669 | extempore | 2010-08-03 20:02:00 +0200 (Tue, 03 Aug 2010) | 2 lines Generalized the scala sig "look in both attribute and annotation" code so it can be reused outside of scalap main. Closes #3717, review by ilyas. ........
* Merged revisions 22983 via svnmerge from Antonio Cunei2010-09-144-17/+42
| | | | | | | | | | | | | | | | | https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r22983 | moors | 2010-09-14 16:23:28 +0200 (Tue, 14 Sep 2010) | 5 lines closes #1693: improve implicit conversion disambiguation by incorporating the expected type of the member that triggered the conversion back-ported fix by Martin in embeddings branch. review by odersky (just in case it shouldn't have been back-ported) ........
* Merged revisions 22978-22979 via svnmerge from Antonio Cunei2010-09-145-31/+71
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r22978 | moors | 2010-09-14 14:15:35 +0200 (Tue, 14 Sep 2010) | 3 lines closes #3692: make instantiateTypeVar more careful so it does not change T's info to >: T <: T. review by odersky ........ r22979 | moors | 2010-09-14 14:37:50 +0200 (Tue, 14 Sep 2010) | 10 lines closes #3612. relaxed self-type conformance check slightly by comparing the self types instead of the self-type symbols, which are trivially different when you introduce a self variable without giving it a type given the definitions below (for full context, see test file), before, O0 would work but O would not, now both are accepted: {{{ object O0 extends C {} object O extends C { self => } }}} review by odersky ........
* Merged revisions 22977 via svnmerge from Antonio Cunei2010-09-144-5/+11
| | | | | | | | | | | | | | | | https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r22977 | moors | 2010-09-14 14:11:54 +0200 (Tue, 14 Sep 2010) | 5 lines relax implicit divergence check patch contributed by Mark Harrah in http://article.gmane.org/gmane.comp.lang.scala/20700 reviewed by moors and odersky ........
* Merged revisions 22948 via svnmerge from Antonio Cunei2010-09-115-44/+106
| | | | | | | | | | | | https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r22948 | odersky | 2010-09-07 17:36:13 +0200 (Tue, 07 Sep 2010) | 1 line Changes to presentation compiler. Responds completions gradually. Keep track of deleted files. More synchronized to avoid races. Review by milessabin. ........
* Merged revisions 22961 via svnmerge from Iulian Dragos2010-09-101-2/+8
| | | | | | | | | | | https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r22961 | dragos | 2010-09-09 17:01:25 +0200 (Thu, 09 Sep 2010) | 1 line Merge branch 'ticket/3435' ........
* Merged revisions 22935 via svnmerge from Iulian Dragos2010-09-101-3/+3
| | | | | | | | | | | https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r22935 | dragos | 2010-09-05 17:37:48 +0200 (Sun, 05 Sep 2010) | 1 line Closes #3803. No Review. ........
* Merged revisions 22934 via svnmerge from Iulian Dragos2010-09-101-1/+4
| | | | | | | | | | | https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r22934 | dragos | 2010-09-05 15:21:11 +0200 (Sun, 05 Sep 2010) | 1 line Closes #3636, crash when unexpected types arrive at specialization. no review. ........
* Merged revisions 22933 via svnmerge from Iulian Dragos2010-09-104-9/+17
| | | | | | | | | | | https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r22933 | dragos | 2010-09-03 17:15:29 +0200 (Fri, 03 Sep 2010) | 1 line Closes #3650. Correctly compile code mixing specialized and code compiled using -no-specialize. review by odersky. ........
* Merged revisions 22947 via svnmerge from Antonio Cunei2010-09-081-1/+1
| | | | | | | | | | | https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r22947 | odersky | 2010-09-07 17:33:55 +0200 (Tue, 07 Sep 2010) | 1 line doc comment fix. No review. ........
* Merged 22949,22463,22446, addresses some of Har...Antonio Cunei2010-09-076-103/+109
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merged 22949,22463,22446, addresses some of Harrah's suggestions concerning 2.8.1. Includes: auto-embedding of REPL, and fix for Enumeration class loader leak. Merged revisions 22446,22463,22949 via svnmerge from https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r22446 | extempore | 2010-07-01 00:57:41 +0200 (Thu, 01 Jul 2010) | 9 lines Enumeration fixes. There was no way to do reflection-based naming correctly simply by inspecting method signatures (because a Value from a different Enumeration stored in a val looks identical to one from this Enumeration) so I have Value store the outer Enum for comparison purposes. This won't make anything new uncollectable because they already have an $outer pointing there. This also simplified the reflection logic: it's an eq test rather than a series of heuristics. Closes #3616, #3615. Review by phaller. ........ r22463 | extempore | 2010-07-01 23:31:21 +0200 (Thu, 01 Jul 2010) | 7 lines Took a cue from mharrah that we don't need to build global static data to keep track of something when we know where it's kept. Altered the Enumeration deserialization scheme to use reflection, preserving the singleton property by delivering the MODULE$ singleton. This solves the GC issue and lets us drop synchronization to boot. Also added some graceful failure for malformed Enumerations. All tests look good but a second opinion is in order: closes #2214, review by phaller. ........ r22949 | extempore | 2010-09-07 19:48:09 +0200 (Tue, 07 Sep 2010) | 3 lines Some modifications to repl classloading to make it usable in managed classloader environments. Contributed by mark harrah. Review by rytz. ........
* Merged revisions 22938 via svnmerge from Antonio Cunei2010-09-071-0/+2
| | | | | | | | | | | | https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r22938 | milessabin | 2010-09-07 11:30:43 +0200 (Tue, 07 Sep 2010) | 1 line Added type alias so that Response is accessible via interactive.Global ... necessary for source compatibility with 2.8.0.final. Review by odersky. ........
* Merged revisions 22942 via svnmerge from Antonio Cunei2010-09-071-2/+2
| | | | | | | | | | | https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r22942 | cunei | 2010-09-07 12:21:52 +0200 (Tue, 07 Sep 2010) | 2 lines Updated link to collections API guide. ........
* Merged revisions 22472 via svnmerge from Antonio Cunei2010-09-033-0/+20
| | | | | | | | | | | | https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r22472 | extempore | 2010-07-02 08:26:29 +0200 (Fri, 02 Jul 2010) | 3 lines Made a null output sink and applied it to the recently failing test, which is displaying non-deterministic output by way of the underlying parser. No review. ........
* Merged revisions 22648 via svnmerge from Antonio Cunei2010-09-021-2/+2
| | | | | | | | | | | | | | | https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r22648 | dchenbecker | 2010-07-29 18:35:18 +0200 (Thu, 29 Jul 2010) | 6 lines Modified toString on JSONObject and JSONArray to print JSON Closes #3605 Relatively minor change to get it working. ........
* fix for check file of t3774Antonio Cunei2010-09-021-1/+1
|
* Version number -> 2.8.1.RC1Antonio Cunei2010-09-023-5/+5
|
* Merged revisions 22897 via svnmerge from Iulian Dragos2010-09-023-3/+46
| | | | | | | | | | | https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r22897 | dragos | 2010-09-01 18:01:59 +0200 (Wed, 01 Sep 2010) | 1 line Closes #1220. Stream.tail is now thread safe. Review by odersky. ........
* resolved leftover conflict from 22901 (porting ...Antonio Cunei2010-09-021-6/+0
| | | | | resolved leftover conflict from 22901 (porting 22462)
* Merged revisions 22870 via svnmerge from Antonio Cunei2010-09-021-0/+3
| | | | | | | | | | | https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r22870 | milessabin | 2010-08-31 12:56:53 +0200 (Tue, 31 Aug 2010) | 1 line Fix for #3765. Thanks to Mirko Stocker for the patch. Review by odersky. ........
* Merged revisions 22620,22832 via svnmerge from Antonio Cunei2010-09-023-3/+3
| | | | | | | | | | | | | | | | https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r22620 | plocinic | 2010-07-22 12:45:42 +0200 (Thu, 22 Jul 2010) | 1 line Allow for overriding the debugIDE val (requested for ENSIME). No review. ........ r22832 | plocinic | 2010-08-24 11:27:12 +0200 (Tue, 24 Aug 2010) | 1 line Correctly locate context tree even on the edges. Fixed buggy definition of properlyPrecedes. Fix necessary for the eclipse plugin (ticket 1000124) as well as ENSIME. Review by milessabin. ........
* Merged revisions 22802-22803 via svnmerge from Antonio Cunei2010-09-029-30/+62
| | | | | | | | | | | | | | | | | | | | | | https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r22802 | moors | 2010-08-20 12:01:09 +0200 (Fri, 20 Aug 2010) | 6 lines closes #3575. stricter override checking for java members with default access: can only override such a member from the same package cloneSymbol now preserves privateWithin -- need to reset it explicitly now when before it was assumed to be not to be carried over rewrote accessibility in overriding checks so they're more readable, but hopefully with same semantics review by odersky ........ r22803 | moors | 2010-08-20 13:32:45 +0200 (Fri, 20 Aug 2010) | 2 lines closes #3757. got paren wrong during refactoring. no review ........
* Merged revisions 22108,22176-22177,22318,22589-...Antonio Cunei2010-09-0240-298/+1218
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merged revisions 22108,22176-22177,22318,22589-22590,22595,22644,22657-22658,22723,22725, 22737-22738,22833-22835,22846,22858-22860,22872 via svnmerge from https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r22108 | odersky | 2010-05-31 19:23:38 +0200 (Mon, 31 May 2010) | 1 line made hashset more robust for concurrent access to reduce eclipse race conditions. ........ r22176 | odersky | 2010-06-06 09:46:43 +0200 (Sun, 06 Jun 2010) | 2 lines Overwrote copyToArray for efficiency. ........ r22177 | odersky | 2010-06-06 09:47:21 +0200 (Sun, 06 Jun 2010) | 2 lines Fixed a typo in a use case ........ r22318 | odersky | 2010-06-16 17:36:08 +0200 (Wed, 16 Jun 2010) | 1 line Imporved printing of private[C] in TreePrinters. No review. ........ r22589 | odersky | 2010-07-19 15:55:09 +0200 (Mon, 19 Jul 2010) | 1 line new test files. ........ r22590 | odersky | 2010-07-19 15:56:03 +0200 (Mon, 19 Jul 2010) | 1 line Added `ask` method to compiler control to do fast trunaround computations on presentation compiler thread. ........ r22595 | odersky | 2010-07-19 17:19:45 +0200 (Mon, 19 Jul 2010) | 1 line added missing file. ........ r22644 | odersky | 2010-07-28 18:33:16 +0200 (Wed, 28 Jul 2010) | 1 line Fixes #3679. Review by milessabin. ........ r22657 | odersky | 2010-08-02 15:53:16 +0200 (Mon, 02 Aug 2010) | 1 line Revamped ScalaConversions. Fixes #3688. Also added JavaConverters object which allows for explicit asJava/asScala conversions in the scalaj style. Review by milessabin. ........ r22658 | odersky | 2010-08-02 15:53:58 +0200 (Mon, 02 Aug 2010) | 1 line Fixed some typoes/errors in doc comments. No review. ........ r22723 | odersky | 2010-08-10 17:47:15 +0200 (Tue, 10 Aug 2010) | 1 line Removed duplicate classes. No review. ........ r22725 | odersky | 2010-08-10 19:38:32 +0200 (Tue, 10 Aug 2010) | 1 line Added missing file for last checkin. ........ r22737 | odersky | 2010-08-12 11:02:46 +0200 (Thu, 12 Aug 2010) | 1 line Changes in docs and layout. No review. ........ r22738 | odersky | 2010-08-12 11:03:30 +0200 (Thu, 12 Aug 2010) | 1 line Fixed type soundness problem someone raised on hackers news. Test in override.scala. Review by moors. ........ r22833 | odersky | 2010-08-24 16:59:13 +0200 (Tue, 24 Aug 2010) | 1 line Fixes #3780. No review. ........ r22834 | odersky | 2010-08-24 16:59:54 +0200 (Tue, 24 Aug 2010) | 1 line new tests. No review. ........ r22835 | odersky | 2010-08-24 17:48:09 +0200 (Tue, 24 Aug 2010) | 1 line Closes #3776. No review. ........ r22846 | moors | 2010-08-26 18:16:54 +0200 (Thu, 26 Aug 2010) | 1 line this should fix our achy breaky build. no review ........ r22858 | odersky | 2010-08-30 17:56:13 +0200 (Mon, 30 Aug 2010) | 1 line added doc comment which makes things clearer when seen from Map or Set. ........ r22859 | odersky | 2010-08-30 17:59:05 +0200 (Mon, 30 Aug 2010) | 1 line removed author attribution, since no code from Stepan remains here. ........ r22860 | odersky | 2010-08-30 18:02:34 +0200 (Mon, 30 Aug 2010) | 1 line New wider interface of presentation compiler. Allows for partial responses and improves cancelling. See Response.scala for a usage example. ........ r22872 | odersky | 2010-08-31 17:37:55 +0200 (Tue, 31 Aug 2010) | 1 line Partial fix for #3774. The crash is gone but the program is rejected. A full fix will have to wait until a re-implementation of LUB/GLB along the lines of the DOT system. ........
* Merged revisions 22411,22544,22630,22698,22724,...Antonio Cunei2010-09-0216-36/+108
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merged revisions 22411,22544,22630,22698,22724,22791-22792 via svnmerge from https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r22411 | michelou | 2010-06-28 19:39:18 +0200 (Mon, 28 Jun 2010) | 1 line fixed #3604 ........ r22544 | michelou | 2010-07-12 17:57:40 +0200 (Mon, 12 Jul 2010) | 2 lines removed generics warnings in actors ........ r22630 | michelou | 2010-07-26 16:27:41 +0200 (Mon, 26 Jul 2010) | 2 lines fixed case 2 (Android) in ticket #2464 (case 1 is ok with 2.8.0.final) ........ r22698 | michelou | 2010-08-07 11:25:42 +0200 (Sat, 07 Aug 2010) | 2 lines fixed t3738 ........ r22724 | odersky | 2010-08-10 17:57:43 +0200 (Tue, 10 Aug 2010) | 1 line Fixes #3728. No review. ........ r22791 | odersky | 2010-08-18 19:12:44 +0200 (Wed, 18 Aug 2010) | 1 line Closes #3756. No review. ........ r22792 | odersky | 2010-08-18 19:47:04 +0200 (Wed, 18 Aug 2010) | 1 line Closes #3763. No review. ........
* Merged revisions 22536,22540,22542 via svnmerge...Antonio Cunei2010-09-024-326/+432
| | | | | | | | | | | | | | | | | | | | | | Merged revisions 22536,22540,22542 via svnmerge from https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r22536 | phaller | 2010-07-12 10:29:45 +0200 (Mon, 12 Jul 2010) | 1 line Added test case for #3645. Closes #3645. ........ r22540 | phaller | 2010-07-12 13:49:28 +0200 (Mon, 12 Jul 2010) | 1 line Fixed buggy test case. Closes #3551. No review. ........ r22542 | phaller | 2010-07-12 16:13:11 +0200 (Mon, 12 Jul 2010) | 1 line Updated LinkedBlockingQueue to latest jsr166 version. Verified bug fix using test case in [http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=6806875 JDK bug report 6806875]. Closes #3629. ........
* Merged revisions 22188-22189,22195,22198,22445,...Antonio Cunei2010-09-0231-95/+304
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merged revisions 22188-22189,22195,22198,22445,22450,22452,22457,22460,22462,22470,22484, 22489-22490,22556,22609,22667-22668,22684,22830 via svnmerge from https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r22188 | extempore | 2010-06-08 01:43:14 +0200 (Tue, 08 Jun 2010) | 4 lines Most of the iterate implementations were calling the given function one too many times, leading to tragic failure if the function could not handle this (such as repeatedly applying tail.) Closes #3540, review by prokopec. ........ r22189 | extempore | 2010-06-08 04:15:50 +0200 (Tue, 08 Jun 2010) | 4 lines Taking another shot at negative constants as annotation arguments since r22175 didn't quite get there. I call into the constant folder with the unfolded tree at the last point before it's going to fail the compile anyway. Closes #3521, review by odersky. ........ r22195 | extempore | 2010-06-08 16:35:16 +0200 (Tue, 08 Jun 2010) | 2 lines Fixed a regrettable oversight which was leaving temp files stacking up in templand, and a partial fix for #3519. No review. ........ r22198 | extempore | 2010-06-08 21:03:56 +0200 (Tue, 08 Jun 2010) | 3 lines Put in some long overdue soft padding around repl completion so when it pokes around the compiler in a way which surprises something, we don't lose the repl. Closes #3548, no review. ........ r22445 | extempore | 2010-06-30 22:51:18 +0200 (Wed, 30 Jun 2010) | 1 line Added forkjoin to partest's classpath to unbreak the build. No review. ........ r22450 | extempore | 2010-07-01 02:16:32 +0200 (Thu, 01 Jul 2010) | 4 lines Although everything now builds for me, the buildbot still fails on src/dbc for lack of forkjoin.jar. We apparently have invented non-deterministic jar dependencies. Added forkjoin.jar in another spot, no review. ........ r22452 | extempore | 2010-07-01 20:29:09 +0200 (Thu, 01 Jul 2010) | 2 lines Warded off a parser crash on certain invalid programs. Closes #3209, no review. ........ r22457 | extempore | 2010-07-01 22:32:02 +0200 (Thu, 01 Jul 2010) | 2 lines A crasher in the pattern matcher revealed a flaw in how equality comparisons were constructed. Closes #3570, no review. ........ r22460 | extempore | 2010-07-01 22:32:47 +0200 (Thu, 01 Jul 2010) | 2 lines Fixed an infinite loop in the xml parser on invalid input. Also found an off by one bug in Source while fixing it. No review. ........ r22462 | extempore | 2010-07-01 22:43:32 +0200 (Thu, 01 Jul 2010) | 4 lines Since the buildbots won't meet me in the middle, am putting the forkjoin.jar everywhere with the hope/expectation we will see a restoral of order. Someone should definitely figure out how it is we developed this non-deterministic dependency. Review by phaller. ........ r22470 | extempore | 2010-07-02 06:20:28 +0200 (Fri, 02 Jul 2010) | 2 lines Normalized protected type aliases before repl printing, so we don't see things like x.Self. Closes #3193, no review. ........ r22484 | extempore | 2010-07-04 22:26:55 +0200 (Sun, 04 Jul 2010) | 2 lines Tightened how the repl prints types so we don't see OverloadedTypes slip through sometimes. Review by apocalisp. ........ r22489 | extempore | 2010-07-05 18:00:22 +0200 (Mon, 05 Jul 2010) | 3 lines The take/drop methods in IndexedSeqOptimized were overridden to call slice without checking bounds, causing it to fail when the argument is too large. Restored expected behavior. No review. ........ r22490 | extempore | 2010-07-05 18:06:36 +0200 (Mon, 05 Jul 2010) | 1 line A brown bag on the head fix to that last patch. No review. ........ r22556 | extempore | 2010-07-14 10:00:03 +0200 (Wed, 14 Jul 2010) | 2 lines Moved the burden of forgivingness for string slices into StringOps where it belongs. Review by odersky. ........ r22609 | extempore | 2010-07-20 20:14:54 +0200 (Tue, 20 Jul 2010) | 2 lines Fix for stability failure introduced in build.xml change. Review by malayeri (as an FYI.) ........ r22667 | extempore | 2010-08-03 20:01:34 +0200 (Tue, 03 Aug 2010) | 3 lines Parse ordering issue prevented passing properties containing a :. There is a test case included, but note that partest passes it with or without the patch: see ticket #3712. Closes #3495, no review. ........ r22668 | extempore | 2010-08-03 20:01:47 +0200 (Tue, 03 Aug 2010) | 2 lines Reverted my brainless introduction of ## to a java file. Closes #3716, no review. ........ r22684 | extempore | 2010-08-05 17:15:00 +0200 (Thu, 05 Aug 2010) | 2 lines Widened a try block to unregress the error message for file not found. Closes #3729, no review. ........ r22830 | extempore | 2010-08-23 18:57:10 +0200 (Mon, 23 Aug 2010) | 2 lines Fix and test case for broken linked lists, contributed by Lucien Pereira. Closes #3361, no review. ........
* Merged revisions 22508-22520,22523,22545,22710,...Antonio Cunei2010-09-0161-508/+1042
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merged revisions 22508-22520,22523,22545,22710,22726-22727,22754-22755,22762,22796,22804- 22805 via svnmerge from https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r22508 | moors | 2010-07-08 17:58:41 +0200 (Thu, 08 Jul 2010) | 7 lines closes #2331: the pre-transform in Erasure did not correctly recurse in the case of a TypeApply. It simply returned the function, which might very well have been, say, a Select node, which had to be erased in case the qualifier's type is a refinement. (sorry about the whitespace changes) review by odersky ........ r22509 | moors | 2010-07-08 17:58:47 +0200 (Thu, 08 Jul 2010) | 7 lines closes #2416. this is a big one... typedAppliedTypeTree performed type application (beta-reduction) without checking whether that application was well-kinded this patch introduces a new subclass of TypeTree: TypeTreeWithDeferredRefCheck, which tracks the type args and type params of a type application when it was beta-reduced during typing without checking that the application was well-kinded -- that check must wait until refchecks, but was never performed since the application had been beta-reduced away caveat discovered while working on the fix: adapt turned all trees for which _.isType holds into TypeTree's review by odersky ........ r22510 | moors | 2010-07-08 17:58:52 +0200 (Thu, 08 Jul 2010) | 2 lines closes #3247: syntax error regarding context bounds generalized to include view bounds as we cannot easily be more specific no review ........ r22511 | moors | 2010-07-08 17:58:56 +0200 (Thu, 08 Jul 2010) | 2 lines closes #3249. exclude method type parameters from java generic signature of a class review by dragos ........ r22512 | moors | 2010-07-08 17:59:00 +0200 (Thu, 08 Jul 2010) | 2 lines closes #3374. checkKindBoundsHK did not instantiate hk params far enough. see also neg/bug1275 review by odersky ........ r22513 | moors | 2010-07-08 17:59:05 +0200 (Thu, 08 Jul 2010) | 5 lines closes #3399. mergePrefixAndArgs expects types that have equal type symbols (modulo normalization) but did not normalize these types before retrieving their typeArgs this broke the invariant that argss is a regular matrix review by odersky ........ r22514 | moors | 2010-07-08 17:59:10 +0200 (Thu, 08 Jul 2010) | 15 lines closes #3477. type arguments that were inferred to be Nothing should be included in checkBounds. wonder why they weren't in the first place note that all type parameters must be reported in error messages about failing type inference, but only type parameters that were inferred successfully should be substituted the idea of mapping type parameter symbols to the corresponding type ref in order to make substitution the identity does not seem to work, leading to errors like: src/library/scala/collection/immutable/SortedMap.scala:38: error: type mismatch; found : scala.collection.immutable.SortedMap[A,B(in method empty)] required: scala.collection.immutable.SortedMap[A,B(in trait SortedMap)] override def empty: SortedMap[A, B] = SortedMap.empty ^ (I guess that's why they were retracted before, but that wasn't done consistently, leading to #3152 -- my first attempt at fixing the latter lead to this bug... I've assigned #3152 to you Martin, as I can't decide how to fix it.) review by odersky ........ r22515 | moors | 2010-07-08 17:59:15 +0200 (Thu, 08 Jul 2010) | 5 lines closes #3486. members of implclasses are clones of the original trait members, but cloning discards a symbol's typehistory so that javaSig could not look at the symbol's type before erasure fixed by having mixin do the cloning at the beginning of erasure and then updating the symbol's info to transform it to be valid in current phase review by odersky ........ r22516 | moors | 2010-07-08 17:59:19 +0200 (Thu, 08 Jul 2010) | 3 lines closes #3494. don't let type argument for inserted wrapRefArray be inferred (as the expected element type of the array could be a singleton type, but that won't be inferred) review by prokopec ........ r22517 | moors | 2010-07-08 17:59:23 +0200 (Thu, 08 Jul 2010) | 1 line closes #3507: don't generate manifests where we can't refer to the existentially bound value ........ r22518 | moors | 2010-07-08 17:59:27 +0200 (Thu, 08 Jul 2010) | 3 lines closes #742. be more resilient to evil, ill-kinded type applications, so we don't crash (subst assumes from.length == to.length), and get to actually telling off the user for writing those nasty, nasty types review by extempore ........ r22519 | moors | 2010-07-08 17:59:32 +0200 (Thu, 08 Jul 2010) | 2 lines closes #3622: refchecks erased types without uncurrying them first review by odersky ........ r22520 | moors | 2010-07-08 17:59:36 +0200 (Thu, 08 Jul 2010) | 1 line made typechecker logging methods final so they can actually be inlined ........ r22523 | moors | 2010-07-09 02:24:02 +0200 (Fri, 09 Jul 2010) | 3 lines cleaned up the mess that resulted from cobbling together fixes for see #3477 and see #3152 adjustTypeArgs and methTypeArgs now return a LinkedHashMap[Symbol, Option[Type]] TODO: check that type inference is still just as lightning fast as before ........ r22545 | moors | 2010-07-12 19:03:03 +0200 (Mon, 12 Jul 2010) | 7 lines Closes #3653. In uncurry phase, remove IMPLICIT flag from implicit parameter list. no review Author: Mark Harrah <dmharrah@gmail.com> Date: Thu Jul 8 10:30:57 2010 -0400 Source: http://github.com/harrah/scala-starrless/commit/0c7759c95b47cebc6d9fa77cefd34ef638e2706e Reviewer: moors ........ r22710 | moors | 2010-08-09 13:51:37 +0200 (Mon, 09 Aug 2010) | 10 lines closes #3582: typedTypeDef needs to run in a new typer for TypeDefs with type parameters this was honored when typedTypeDef was called by typed1, but other callers did not this would cause higher-order type parameters to be re-entered in the scope of a method or a class (by the way, should we recycle scopes for higher-order type params? now new scopes are created, symbols entered, and tree's symbols updated) changed some spurious vars to vals review by odersky ........ r22726 | moors | 2010-08-10 23:06:00 +0200 (Tue, 10 Aug 2010) | 5 lines closes #3676: cycle detection logic in BaseTypeSeq's should not overwrite elements in the BTS for cycle detection as these markers may be witnessed by callbacks in mergePrefixAndArgs now using a mutable bitset to keep track of which computations are pending -- benchmarked for speed, memory consumption not checked review by odersky ........ r22727 | moors | 2010-08-10 23:12:13 +0200 (Tue, 10 Aug 2010) | 5 lines different approach to manifests of type parameters: before, ambiguity was prevented by leaving type inference failures (Nothing was inferred) in the expression that needs an implicit manifest -- we now put these back in undetparams (maybe they will be inferred) and when we need to produce a manifest for an undetermined parameter (it ended up not being inferred), we assume it will get instantiated to Nothing (but for now don't actually reflect that in the SearchResult, as instantiate should take care of that anyway) see test file for use case that works with this new scheme, but did not work before: the eager instantiation of type params to Nothing before implicit search even got started would indeed prevent ambiguity -- unfortunately it also ruled out valid code like this (where the type parameter is inferred successfully by the time the manifest is needed) review by odersky ........ r22754 | moors | 2010-08-13 18:21:40 +0200 (Fri, 13 Aug 2010) | 10 lines closes #3419: test files omit check that wouldn't work with separate compilation, not needed anymore because compiler has become more robust the actual fix was committed as part of r22512, see #3374 also see #3512 no review ........ r22755 | moors | 2010-08-13 18:21:44 +0200 (Fri, 13 Aug 2010) | 8 lines closes #3663. disregard package nesting for access check of java syms namers wasn't setting privateWithin on java-defined variables (btw, ) shouldn't clone carry over privateWithin? better treatment of linked ) class access boundary (only check for access within linked class if ) it actually exists ) would have liked more control for the test case: only javac should compile the java file, then scalac should compile the scala file and fail review by odersky ........ r22762 | moors | 2010-08-14 10:19:56 +0200 (Sat, 14 Aug 2010) | 5 lines closes #3691. moved kind conformance checks to types because it needs to be checked as part of specializesSym. TODO: clean this up, introduce datatypes to denote kinds, split checkKindBounds into kind inference and subkind checking review by odersky ........ r22796 | moors | 2010-08-19 14:20:28 +0200 (Thu, 19 Aug 2010) | 3 lines closes #3777. type constructor inference now tries harder to unify a type constructor variable (that's applied to type arguments) with a type alias by dealiasing it, hoping to discover a concrete type constructor (that's applied to type arguments). no review ........ r22804 | moors | 2010-08-20 16:48:12 +0200 (Fri, 20 Aug 2010) | 12 lines closes 2462. better implicit error messages. @implicitNotFound(msg="Custom error message that may refer to type parameters ${T} and ${U}") trait Constraint[T, U] whenever an implicit argument of type Constraint[A, B] cannot be found, the custom error message will be used, where the type arguments are interpolated in the obvious way note: if the msg in the annotation references non-existing type params, a warning is emitted the patch also cleans up annotation argument retrieval (moved it to AnnotationInfo from Symbol) review by odersky ........ r22805 | moors | 2010-08-21 10:25:00 +0200 (Sat, 21 Aug 2010) | 1 line forgot to update check file after renaming tests. no review. ........
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-12 20:08:44 +0000