| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
refactoring of TypeVar to set the stage for tcpoly inference (also
touched UndoLog, isHigherKinded logic in TypeRef) added <:< implicit,
should bootstrap
selection from squashed commit messages:
commented out stuff so that this can be used to bootstrap and build a new starr
merged/cherry picked refactorings unrelated to #2261
(undoLog, cloneInternal, NoImplicitInfo)
made conforms implicit, identity explicit
replaced the implicit `identity` coercion by `conforms`, which can be used to encode generalised constraints
the introduction of `conforms` revealed a bug in adaptToMember, which was inferring views while already inferring one, which gave rise to diverging implicits. Predef.identity is no longer special as far as the compiler is concerned.
cleaned up isHigherKinded logic in TypeRef, and implemented it in TypeVar along with normalize
added <:< to Predef: use as evidence for encoding generalized constraints
(BTW: extractUndetparams clears undetparams: don't use in debug output -- I learned the hard way...)
added todo about ticket 2066 -- branching from master to explicitkinds for fix
refactoring: moved bounds tracking logic to TypeVar
introduced typeConstructor in Type because we can't use appliedType(tp, List())) to strip a type's type arguments (appliedType is a no-op for empty args) -- don't want to pattern match on type either
removed unused overrides in TypeVar (TODO double check)
making appliedType more robust since it is now used more liberally -- neg/t0226 should no longer fail now
merged in appliedType refactoring and added TypeVar logic to appliedType
|
| |
|
|
|
| |
added CanBuild type alias in package object scala.collection.generic
|
| | |
|
| |
|
|
|
|
| |
fixed failing testcases due to previous commit (renaming of
BuilderFactory)
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
renamed BuilderFactory[El, To, From] -> CanBuildFrom[From, El, To] and
added apply() overload to create collections from scratch generically
added def apply() overload to BuilderFactory so that we can also create collections from scratch generically
(see test test/files/pos/collectGenericCC.scala)
renaming:
- BuilderFactory[El, To, From] -> CanBuildFrom[From, El, To]
bulk type-param reordering using: s/CanBuildFrom\[\s*([^,()\s]*)\s*,(\s+[^\s,()]*)\s*,\s+([^\s,()]*)\s*\]/CanBuildFrom[$3, $1,$2]/
some argument lists got mixed up because they contained 4 comma's...
- builderFactory -> canBuildFrom
removed explicit implicit value in DocDriver that was
renamed renamed collection/generic/BuilderFactory.scala ->
collection/generic/CanBuildFrom.scala
tested with clean build using ant strap.done -- everything went well on my machine
|
| | |
|
| |
|
|
|
| |
Implementation of martin's suggested fix for #1503.
|
| |
|
|
|
|
| |
Updated remaining test case to reflect the slightly differing semantics
of the Ordering fix.
|
| |
|
|
|
|
| |
Fixes for 66.67% of the tests failing from the Ordering commit. Other
third is going to take a closer look.
|
| |
|
|
|
| |
ability to influence the priority of implicits.
|
| |
|
|
|
|
| |
proposing this as the long-term fix (unless by some miracle it is the
right fix, in which case good for me.)
|
| |
|
|
|
|
| |
Another bunch of work on Numeric, Range, GenericRange, BigDecimal, and a
pile of test cases for various aspects of GenericRange.
|
| | |
|
| |
|
|
|
|
|
| |
Fix and test for #1674; we aren't supposed to be validating positions
if there are syntax errors ... ensure that's so; we are supposed to be
validating positions when -Yide-debug is set ... ensure that's so.
|
| | |
|
| |
|
|
|
|
|
| |
flags on AnyVal from FINAL|SEALED to ABSTRACT|SEALED. This appears
correct and without ill effect, but if anyone spots new anyval oddness
you know where to look.
|
| | |
|
| |
|
|
|
|
|
| |
moved Range and GenericRange to collection.immutable, with alias for
Range in scala package object; made Range strict. moved from filter to
withFilter in translation for for expressions.
|
| |
|
|
|
|
|
|
| |
detritus from regular expression patterns, but Star still depends
on REGPATmode existing -- nothing checks for that mode specifically,
but not having it set causes failure. So it is renamed to STARmode.
|
| |
|
|
|
|
|
| |
Scaladoc comment position fixes with tests; scaladoc comment postions
are now accessible by symbol; respond retry in interactive Global is now
handled properly.
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
|
| |
reverted immutable.Vector because it gave random build errors on my
machine. Fixed various tickets, updated test and check files.
|
| |
|
|
|
| |
Added aliases for Vector and Traversable to scala package object.
|
| |
|
|
|
|
|
| |
Looked through the .disabled tests which are still under files (as
opposed to those moved to disabled.) Brought some back to life, put a
stake through the heart of others, left two as they were.
|
| |
|
|
|
| |
Disabling another test trying to unhang the test suite.
|
| | |
|
| |
|
|
|
|
| |
Moved a pile of passing tests from pending to files, fixed some untesty
tests, and will now close the associated tickets.
|
| | |
|
| | |
|
| |
|
|
|
| |
Disabled an actor test which is hanging the test suite.
|
| |
|
|
|
|
|
| |
Restored type of receiver in OutputChannel and Channel to Actor.
ReplyReactor inherits from ReplyableReactor. ReplyableReactor is now
private.
|
| | |
|
| |
|
|
|
|
| |
fixed #2421: checkBounds in typedImplicit0 to filter out implicit
searchresults that result in nonsenical type instantiations
|
| | |
|
| | |
|
| |
|
|
|
|
| |
Test cases for some tickets fixed by recent array and implicit activity:
#1038, #1005, #1272.
|
| |
|
|
|
| |
Reverted the BigDecimal implicits added for ticket #1813.
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
|
|
|
| |
Fix and tests for positions issues with context/view bounds and
multiple definitions; extended the ranges for defns/decls to cover
their introducing keywords; removed an unused IDE hook; some whitespace
cleanup.
|
| | |
|
