| Commit message (Collapse) | Author | Age | Files | 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
|
|
|
|
|
| |
made typechecker logging methods final so they can actually be inlined
|
|
|
|
|
|
| |
closes #3622: refchecks erased types without uncurrying them first
review by odersky
|
|
|
|
|
| |
review by extempore
|
|
|
|
|
|
| |
closes #3507: don't generate manifests where we can't refer to the
existentially bound value
|
|
|
|
|
| |
review by prokopec
|
|
|
|
|
|
|
|
|
| |
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
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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
|
|
|
|
|
|
|
| |
this broke the invariant that argss is a regular matrix
review by odersky
|
|
|
|
|
| |
review by odersky
|
|
|
|
|
| |
review by dragos
|
|
|
|
|
|
| |
closes #3247: syntax error regarding context bounds generalized to
include view bounds as we cannot easily be more specific no review
|
|
|
|
|
|
|
|
|
|
| |
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
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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
|
| |
|
| |
|
|
|
|
|
|
|
| |
[scaladoc] Hiding full comments in template pages at startup is done by
CSS instead of JavaScript, leading to better performance. Contributed by
Pedro Furlanetto. Review by dubochet.
|
|
|
|
|
|
| |
[scaladoc] Implements documentation of higher-kinded entities. Closes
#3618. Review by moors.
|
| |
|
|
|
|
|
|
|
| |
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.
|
|
|
|
|
|
| |
Put a couple null checks in the inliner so it doesn't NPE under -Ydebug.
No review.
|
| |
|
| |
|
|
|
|
|
|
| |
Tightened how the repl prints types so we don't see OverloadedTypes slip
through sometimes. Review by apocalisp.
|
| |
|
|
|
|
|
|
|
|
| |
When compilation fails because of an unimplemented abstract var, give
a more precise error message about what happened. Also avoid issuing
the same error twice because neither getter nor setter is implemented.
Closes #36, review by rytz.
|
|
|
|
|
|
|
|
|
|
| |
Routed all places in trunk which look for jar files through the same
function, and then changed the default behavior to recognize jars even
if they don't have a *.jar extension by squinting at the first few bytes
of the file.
Closes #3000 (THE AMAZING TICKET 3000!), review by phaller.
|
|
|
|
|
|
|
| |
A cosmetic change which serves to document that sourcepath can in fact
accept a path. No test because I can't figure out how to make partest
see the srcdirs. Closes #2202, no review.
|
|
|
|
|
|
| |
Closes #2318 (spurious IllegalAccessException thrown by some structural
calls, caused by Java bug 4071957). Review by malayeri.
|
|
|
|
|
|
| |
Closes #1766 (structural method dispatch broken in class with multiple
constructors). Review by prokopec.
|
|
|
|
|
|
| |
Partest task will go into verbose debug mode when ant's debug flag is
set.
|
| |
|
|
|
|
|
|
|
| |
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.
|
|
|
|
|
|
|
| |
Some more improvement on the error messages when @tailrec fails. Now it
gives a sensible message if the recursive target is actually a supertype
of this, rather than saying the call is not in tail position. No review.
|
|
|
|
|
|
| |
Normalized protected type aliases before repl printing, so we don't see
things like x.Self. Closes #3193, no review.
|
| |
|
| |
|
|
|
|
|
| |
(That's right, multiple two digit tickets.)
|
|
|
|
|
|
| |
Fail more gracefully on > 22 case class parameters. Closes #3631, no
review.
|
|
|
|
|
|
|
| |
Abandoned any pretense of selectivity and put forkjoin.jar on every
compilation path from locker to strap. Review postponed until the
afterlife.
|
|
|
|
|
|
|
|
|
|
|
| |
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.
|
|
|
|
|
|
|
|
| |
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.
|
|
|
|
|
|
|
|
|
|
| |
Renaming files and inserting dummies to please ant. Note to committers:
whenever there is a source file which does not generate a classfile
whose name and path exactly match the name and path of the source file,
then ant will recompile the file every time it compiles anything. In
this batch there were 7 such files, so any 1-char change meant an 8-file
recompile. Someday we'll be rid of ant, but until then... no review.
|
|
|
|
|
|
| |
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.
|
|
|
|
|
|
|
| |
Created mutable.SeqLike so as to mix in Cloneable like
mutable.{Set, Map} do. Closes #3590, review by odersky.
|
|
|
|
|
|
| |
Removing some dead code from SyncVar and cleaning up a little. Closes
#3490, no review.
|
|
|
|
|
|
| |
A crasher in the pattern matcher revealed a flaw in how equality
comparisons were constructed. Closes #3570, no review.
|