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
Commit message (
Expand
)
Author
Age
Files
Lines
*
Evaluate annotations in Namer
Martin Odersky
2015-06-19
2
-2
/
+26
*
Merge pull request #666 from dotty-staging/fix/shadowing-so
odersky
2015-06-19
4
-2
/
+47
|
\
|
*
Add missing test
Martin Odersky
2015-06-19
1
-0
/
+38
|
*
Fix stack overflow when testing for shadowing
Martin Odersky
2015-06-19
3
-2
/
+9
|
/
*
Merge pull request #663 from dotty-staging/fix/#643-scala2-noinits
Dmitry Petrashko
2015-06-19
11
-39
/
+55
|
\
|
*
Add NoInits when reading a Scala2 pure interface
Martin Odersky
2015-06-16
1
-1
/
+1
|
*
Use FlagSet directly instead of defKind
Martin Odersky
2015-06-16
5
-38
/
+33
|
*
Produce PureInterface flag together with NoInits flag
Martin Odersky
2015-06-16
5
-24
/
+45
|
*
Avoid double negation in isJvmSam.
Martin Odersky
2015-06-16
1
-9
/
+8
|
*
Avoid spurious StaleSymbol error in <refinement> members
Martin Odersky
2015-06-16
4
-2
/
+3
*
|
Merge pull request #634 from dotty-staging/fix/refs-to-inner-objects
odersky
2015-06-19
1
-9
/
+19
|
\
\
|
*
|
Refactorings for small style improvements.
Martin Odersky
2015-06-08
1
-9
/
+19
*
|
|
Merge pull request #599 from dotty-staging/add/existential-skolemization
odersky
2015-06-19
23
-242
/
+364
|
\
\
\
|
*
|
|
Better printing of skolem types
Martin Odersky
2015-06-06
1
-2
/
+2
|
*
|
|
Document asSeenFrom
Martin Odersky
2015-06-06
1
-2
/
+46
|
*
|
|
Delete test which no longer applies
Martin Odersky
2015-06-06
1
-1
/
+0
|
*
|
|
Remove no longer needed Skolemization.scala
Martin Odersky
2015-06-06
1
-145
/
+0
|
*
|
|
Deskolemize types inferred for vals and defs
Martin Odersky
2015-06-06
5
-4
/
+52
|
*
|
|
Skolemize unstable prefixes in asSeenFrom
Martin Odersky
2015-06-06
6
-10
/
+48
|
*
|
|
Move deskolemization from TypeComparer to TypeOps
Martin Odersky
2015-06-06
2
-16
/
+114
|
*
|
|
Track unstability in asSeenFrom
Martin Odersky
2015-06-06
1
-4
/
+21
|
*
|
|
Make SkolemTypes cached but generative.
Martin Odersky
2015-06-06
1
-1
/
+2
|
*
|
|
Split RefinedThis and SkolemType
Martin Odersky
2015-06-06
13
-53
/
+88
|
*
|
|
Disable deskolemization in narrowGADTBounds
Martin Odersky
2015-06-06
1
-5
/
+4
|
*
|
|
More inclusive isStable test.
Martin Odersky
2015-06-06
1
-1
/
+2
|
*
|
|
Follow aliases when deskolemizing
Martin Odersky
2015-06-06
1
-7
/
+15
|
*
|
|
Tighten isStable predicate
Martin Odersky
2015-06-06
4
-32
/
+4
|
*
|
|
Make skolemsstate three valued
Martin Odersky
2015-06-06
2
-9
/
+21
|
*
|
|
Tighten comparison of skolem types
Martin Odersky
2015-06-06
1
-5
/
+0
*
|
|
|
Merge pull request #664 from dotty-staging/more-tests
odersky
2015-06-18
1105
-46
/
+41
|
\
\
\
\
|
|
_
|
_
|
/
|
/
|
|
|
|
*
|
|
Scala2 mixin: For some lazy vals inside traits, Lazy flag isn't set on implem...
Dmitry Petrashko
2015-06-16
1
-2
/
+4
|
*
|
|
Support overloaded lazy vals coming from Scala2 traits.
Dmitry Petrashko
2015-06-16
1
-2
/
+5
|
*
|
|
Move tests that have " macro" or "reify" to disabled.
Dmitry Petrashko
2015-06-15
1020
-0
/
+0
|
*
|
|
Update origins.check with origins that match dotty.
Dmitry Petrashko
2015-06-15
1
-3
/
+3
|
*
|
|
Remove warnings that dotty doesn't emit from check files.
Dmitry Petrashko
2015-06-15
6
-22
/
+0
|
*
|
|
Enable tests that succeed.
Dmitry Petrashko
2015-06-15
78
-0
/
+0
|
*
|
|
Mixin: implementations of Scala2 LazyVals need a rhs.
Dmitry Petrashko
2015-06-15
1
-1
/
+7
|
*
|
|
Annotate lazy vals in Scala2 traits with @volatile
Martin Odersky
2015-06-08
1
-3
/
+9
*
|
|
|
Merge pull request #661 from dotty-staging/fix/#651-opassign
Dmitry Petrashko
2015-06-16
3
-1
/
+1
|
\
\
\
\
|
*
|
|
|
Revert changes in test
Martin Odersky
2015-06-15
1
-2
/
+1
|
*
|
|
|
Fix #651 Generalize criterion for isOpAssign
Martin Odersky
2015-06-15
3
-2
/
+3
|
/
/
/
/
*
|
|
|
Merge pull request #635 from dotty-staging/fix/private-scala2-trait-setters
Dmitry Petrashko
2015-06-12
9
-23
/
+57
|
\
|
|
|
|
*
|
|
New SymDenotation method: expandedName.
Martin Odersky
2015-06-08
1
-5
/
+8
|
*
|
|
Copy @field annotations from getters to fields.
Martin Odersky
2015-06-08
2
-1
/
+13
|
*
|
|
Methods for filtering annotations carrying meta information.
Martin Odersky
2015-06-08
4
-5
/
+18
|
*
|
|
Copy annotations from trait members to their implementations
Martin Odersky
2015-06-08
2
-3
/
+12
|
*
|
|
Fix to trait setter generation
Martin Odersky
2015-06-08
2
-10
/
+7
|
|
/
/
*
|
|
Merge pull request #633 from dotty-staging/fix/refs-to-inner-objects
Dmitry Petrashko
2015-06-07
10
-36
/
+33
|
\
\
\
|
|
/
/
|
/
|
/
|
|
/
|
*
Rename helper method.
Martin Odersky
2015-06-07
1
-3
/
+3
|
*
Fix mergeDenot one more time.
Martin Odersky
2015-06-07
3
-17
/
+10
[next]