index
:
dotty
DarkDimius-patch-1
gh-pages
master
Research platform for new language concepts and compiler technologies for Scala.
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
Commit message (
Expand
)
Author
Age
Files
Lines
*
Avoif follow-on errors for illegal implicit classes
Martin Odersky
2015-10-22
1
-8
/
+12
*
Merge pull request #833 from dotty-staging/explicit-outer
Dmitry Petrashko
2015-10-22
1
-5
/
+10
|
\
|
*
ExplicitOuter: fix generation of outer methods for indirectly inherited traits.
Dmitry Petrashko
2015-10-21
1
-4
/
+9
|
*
ExplicitOuter: methods in classes should not be deferred.
Dmitry Petrashko
2015-10-21
1
-1
/
+1
*
|
Merge pull request #836 from dotty-staging/lazy-vals-longs
Dmitry Petrashko
2015-10-22
2
-3
/
+3
|
\
\
|
*
|
LazyVals: fix long shifts.
Dmitry Petrashko
2015-10-22
2
-3
/
+3
*
|
|
Merge pull request #811 from dotty-staging/fix-objects-mixin
Dmitry Petrashko
2015-10-21
4
-7
/
+7
|
\
\
\
|
|
/
/
|
/
|
/
|
|
/
|
*
Address reviewer comments #811.
Dmitry Petrashko
2015-10-12
3
-7
/
+5
|
*
Mixin: materialise rhs for inherited scala2 modules
Dmitry Petrashko
2015-09-29
1
-1
/
+3
|
*
ExplicitOuter: Scala2 inner modules always require outer pointer.
Dmitry Petrashko
2015-09-29
1
-3
/
+2
|
*
UnpickleScala2: Scala modules do not set Lazy Flag.
Dmitry Petrashko
2015-09-29
1
-1
/
+4
|
*
Typer: remove unused TyperContextOps
Dmitry Petrashko
2015-09-29
1
-2
/
+0
*
|
Merge pull request #821 from dotty-staging/fix-check-simple-kinded
Dmitry Petrashko
2015-10-20
2
-3
/
+16
|
\
\
|
*
|
Check that some types are not higher-kinded.
Martin Odersky
2015-10-07
2
-3
/
+16
*
|
|
Merge pull request #823 from smarter/fix/lifting-and-inference
Guillaume Martres
2015-10-19
5
-44
/
+49
|
\
\
\
|
*
|
|
Always fully define the types of lifted expressions
Guillaume Martres
2015-10-19
1
-1
/
+3
|
*
|
|
Move Inferencing out of the Typer cake
Guillaume Martres
2015-10-09
4
-43
/
+46
*
|
|
|
Merge pull request #817 from smarter/fix/avoid
Guillaume Martres
2015-10-12
1
-21
/
+41
|
\
\
\
\
|
|
/
/
/
|
/
|
|
|
|
*
|
|
TypeAssigner#avoid: do not lose type parameters when the base type changes.
Guillaume Martres
2015-10-09
1
-6
/
+21
|
*
|
|
TypeAssigner#avoid: don't miss escaping refs in complex types
Guillaume Martres
2015-10-09
1
-14
/
+11
|
*
|
|
TypeAssigner#avoid: more precise types for inner classes
Guillaume Martres
2015-10-09
1
-2
/
+10
*
|
|
|
Merge pull request #799 from dotty-staging/change-inference
odersky
2015-10-07
2
-14
/
+97
|
\
\
\
\
|
|
_
|
/
/
|
/
|
|
|
|
*
|
|
Generalize set of typevars instantiated before implicit search
Martin Odersky
2015-09-18
1
-22
/
+35
|
*
|
|
Fixes #739
Martin Odersky
2015-09-18
2
-6
/
+40
|
*
|
|
Change algorithm that computes instantiation direction
Martin Odersky
2015-09-18
2
-9
/
+45
*
|
|
|
Merge pull request #820 from dotty-staging/add-collection-strawman
odersky
2015-10-06
1
-0
/
+405
|
\
\
\
\
|
*
|
|
|
Rename collectAs -> to
Martin Odersky
2015-10-06
1
-2
/
+2
|
*
|
|
|
Tweaks to conform with API set out in #818.
Martin Odersky
2015-10-06
1
-7
/
+4
|
*
|
|
|
Bugfixes and move CollectionStrawMan1 into the correct directory.
Martin Odersky
2015-10-06
1
-61
/
+86
|
*
|
|
|
Add ArrayBuffer as another Seq class. Make iterators inspectable.
Martin Odersky
2015-10-06
1
-101
/
+154
|
*
|
|
|
Add collection strawman and its tests
Martin Odersky
2015-10-06
1
-0
/
+330
*
|
|
|
|
Merge pull request #805 from dotty-staging/change-freeze-bounds
odersky
2015-10-06
12
-53
/
+114
|
\
\
\
\
\
|
|
_
|
_
|
/
/
|
/
|
|
|
|
|
*
|
|
|
Revert "Make prefix covariant in type maps."
Martin Odersky
2015-10-06
1
-1
/
+7
|
|
/
/
/
|
*
|
|
Make prefix covariant in type maps.
Martin Odersky
2015-10-06
1
-7
/
+1
|
*
|
|
Add explanations for rewritings
Martin Odersky
2015-10-06
1
-0
/
+6
|
*
|
|
Reshuffle nested and/or calls.
Martin Odersky
2015-10-01
1
-0
/
+24
|
*
|
|
Freeze constraints when checking parameter matching and subsumption.
Martin Odersky
2015-10-01
2
-3
/
+11
|
*
|
|
Fix typo in previous commit.
Martin Odersky
2015-10-01
1
-1
/
+1
|
*
|
|
Opportunistically merge A & A -> A and B | B -> B in <:<
Martin Odersky
2015-10-01
1
-0
/
+6
|
*
|
|
Implement toString for OrderingConstraint
Martin Odersky
2015-10-01
1
-1
/
+18
|
*
|
|
Slight code refactoring
Martin Odersky
2015-10-01
1
-11
/
+12
|
*
|
|
Restore state when detecting a baseTypeRef cycle.
Martin Odersky
2015-10-01
1
-0
/
+1
|
*
|
|
underlyingChain -> underlyingIterator
Martin Odersky
2015-10-01
1
-4
/
+10
|
*
|
|
Don't log when in Printing mode.
Martin Odersky
2015-10-01
1
-1
/
+2
|
*
|
|
Fix compilation error.
Martin Odersky
2015-10-01
1
-1
/
+1
|
*
|
|
Replace withMode by addMode
Martin Odersky
2015-10-01
4
-8
/
+8
|
*
|
|
Change some occurrences of <:< to frozen_<:<
Martin Odersky
2015-10-01
3
-10
/
+15
|
*
|
|
Generalize rules for isSubType between NamedTypes.
Martin Odersky
2015-10-01
1
-16
/
+2
*
|
|
|
Merge pull request #804 from svalaskevicius/fix-compiling-ScalaRunTime
odersky
2015-10-02
1
-1
/
+1
|
\
\
\
\
|
|
/
/
/
|
/
|
|
|
|
*
|
|
fix compiling ScalaRunTime.scala
Sarunas Valaskevicius
2015-09-25
1
-1
/
+1
|
|
|
/
|
|
/
|
[next]