| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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
|
|
|
|
|
|
|
|
|
|
|
|
| |
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
|
|
|
|
|
|
|
|
|
|
| |
for MSIL: Previous changesets were applied more-or-less incrementally to
scala-msil, this changeset brings them all together to scala trunk. Next
stop will be supporting CLR valuetypes (another big one). Afterwards
(once emitted .NET bytecode passes peverify) changesets will become more
manageable in size. Well, no, there's generics coming. But believe me,
soon MSIL changesets will get smaller in size.
|
|
|
|
|
|
| |
[Scaladoc] Fixes a bug in defaultValues display ('new A' now creates a
link on A). Review by dubochet
|
|
|
|
|
|
|
|
|
|
|
|
| |
[Scaladoc] Improve the documentation of primary constructor. Adds a
@constructor for commenting the primary constructor. It also adds some
comments for the primary constructor (@params, @deprecated) which
are initialised in the class comment. Members that come from primary
constructor parameters (val parameters or parameters of a case class)
are listed as members with the comment given using the @param tag
(closes #254, closes #577). Case class signature now begins by 'case
class' instead of 'class'. Review by dubochet
|
|
|
|
|
|
| |
Fixed type soundness problem someone raised on hackers news. Test in
override.scala. Review by moors.
|
| |
|
| |
|
|
|
|
|
|
|
|
|
| |
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
|
|
|
|
|
|
|
|
|
|
|
| |
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
|
| |
|
| |
|
|
|
|
|
|
|
|
| |
gives fewer insensible warnings about actually sensible things, etc.
Large test case with 30 warnings elicited.
Closes #282 (again), no review.
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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
|
|
|
|
|
|
| |
Modified r22702 to avoid tarring overloads with the same brush. No
review.
|
|
|
|
|
|
|
|
|
|
| |
Disallowed super.XX calls to Any methods which are presently either
crashing the compiler (isInstanceOf) or leading to runtime failure (==
and !=) in addition to one which was being rewritten to a this call but
makes more sense disallowed like the others (##).
Closes #3736, review by odersky.
|
| |
|
| |
|
|
|
|
|
|
| |
fixes names/defaults when using :_* for specifying repeated parameters.
close #3697, no review.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
scala> def ser(o: AnyRef) = new java.io.ObjectOutputStream(new java.io.ByteArrayOutputStream()).writeObject(o)
ser: (o: AnyRef)Unit
scala> @serializable class Outer {
| case class Inner(x: Int)
| }
defined class Outer
scala> val o = new Outer
o: Outer = Outer@34469729
scala> ser(new o.Inner(1))
scala> o.Inner // initialize the Inner$module field of o
res1: o.Inner.type = Inner
scala> ser(new o.Inner(1))
java.io.NotSerializableException: Outer$Inner$
review by extempore.
|
|
|
|
|
|
| |
Widened a try block to unregress the error message for file not found.
Closes #3729, no review.
|
| |
|
|
|
|
|
|
| |
Keyword of method symbol signature is correctly printed as 'def' instead
of 'val'. No review.
|
|
|
|
|
|
| |
Prints default Values, considers anyRef as a class. closes #3105. Review
by prokopec.
|
|
|
|
|
|
| |
added @deprecatedName annotation, allowing to deprecate parameter names.
review by prokopec.
|
|
|
|
|
|
|
| |
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.
|
| |
|
|
|
|
|
|
|
| |
Fixes an issue in RefChecks when the compiler does not have an erasure
phase (such as in Scaladoc), which became visible after r22644. Review
by odersky.
|
| |
|
|
|
|
|
|
|
| |
[scaladoc] Small fixes for 2.8.0 updated documentation: window title
contains version number, authors are not displayed (like in Javadoc),
source links have correct title. No review.
|
|
|
|
|
|
| |
[scaladoc] Setting for link to source URLs is much more flexible and
should allow satisfying Toni's exacting demands. Review by cunei.
|
|
|
|
|
| |
fixed case 2 (Android) in ticket #2464 (case 1 is ok with 2.8.0.final)
|
| |
|
|
|
|
|
| |
Allow for overriding the debugIDE val (requested for ENSIME). No review.
|
|
|
|
|
|
|
| |
Revert 22605 change to JavaParsers.scala, which modified parsing
behavior and broke jvm test t3415. No longer create DocDef nodes for
Javadoc comments in Java source files. No review.
|
|
|
|
|
| |
[scaladoc] Fix performance problem when generating Scaladoc.
|
|
|
|
|
|
| |
[scaladoc] Optionally run typer phase for Java files, if createJavadoc
method returns true. No review.
|
|
|
|
|
|
| |
[scaladoc] Don't generate documentation for empty Java companion
objects. No review.
|
| |
|
|
|
|
|
| |
[scaladoc] Make a DocDef node for javadoc comments in Java source files.
|
|
|
|
|
|
|
| |
[scaladoc] Modify build script to copy html resources to output
directory; display template in a frame rather than an iframe; change
title of main page when new frame is loaded. Review by dubochet.
|
| |
|
|
|
|
|
|
| |
[scaladoc] Singleton types (`this.type`) are correctly printed. Closes
#1445. Review by malayeri.
|
|
|
|
|
|
| |
Added `ask` method to compiler control to do fast trunaround
computations on presentation compiler thread.
|
|
|
|
|
|
| |
[scaladoc] Fixes an issue whereas inherited members in objects would not
see their types instantiated properly. No review.
|
|
|
|
|
|
| |
[scaladoc] Adds private Scaladoc option "-Yuse-stupid-types" for LAMP
internal use. No review.
|
|
|
|
|
|
|
| |
[scaladoc] Print "Inherited from" headings using type instances
("SeqLike[A, List[A]]") instead of template names ("SeqLike"). Review by
malayeri.
|
|
|
|
|
|
|
| |
[scaladoc] Scaladoc knows about Javadoc inline tags and transforms them.
The transformation is currently quite basic, particularly for links.
Review by malayeri.
|
|
|
|
|
|
| |
[scaladoc] Full comments with "by inheritance" ordering are correctly
displayed. No review.
|