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
*
Arrays.newRefArray has multiple symbols that coexist during bootstrap.
Dmitry Petrashko
2015-07-05
3
-3
/
+12
*
Enable t5629b.
Dmitry Petrashko
2015-06-19
2
-0
/
+0
*
Fix wrong test in PatMat.
Dmitry Petrashko
2015-06-19
3
-1
/
+1
*
Make named repeated parameters discoverable during PatMat.
Dmitry Petrashko
2015-06-19
2
-3
/
+5
*
Add initializers for lambdalift proxy fields
Martin Odersky
2015-06-19
3
-10
/
+38
*
Fix problem with explicit outer accessors
Martin Odersky
2015-06-19
2
-2
/
+16
*
Merge pull request #639 from dotty-staging/add/trait-parameters
odersky
2015-06-19
10
-37
/
+186
|
\
|
*
Fix merge breakage
Martin Odersky
2015-06-19
1
-14
/
+17
|
*
Fixed typo introduced by merge
Martin Odersky
2015-06-19
1
-1
/
+2
|
*
References to trait parameter accessors do not have an elidable prefix.
Martin Odersky
2015-06-19
1
-1
/
+1
|
*
More explicit test of trait parameter initialization order
Martin Odersky
2015-06-19
1
-0
/
+30
|
*
Drop parameter accessor flag in traits
Martin Odersky
2015-06-19
2
-4
/
+12
|
*
Revert: Implementations of mixin getters are never ParamAccessors
Martin Odersky
2015-06-19
1
-1
/
+1
|
*
Extend test to verify initialization order
Martin Odersky
2015-06-19
1
-6
/
+13
|
*
Convert pos test to be a run test.
Martin Odersky
2015-06-19
2
-12
/
+19
|
*
Implement trait parameters
Martin Odersky
2015-06-19
5
-16
/
+85
|
*
Implement checking for illegal parent trait constructor calls.
Martin Odersky
2015-06-19
4
-5
/
+29
|
*
Implementations of mixin getters are never ParamAccessors
Martin Odersky
2015-06-19
1
-1
/
+1
*
|
Merge pull request #638 from dotty-staging/change/simplify-tasty
odersky
2015-06-19
5
-40
/
+36
|
\
\
|
|
/
|
/
|
|
*
Fixed compilation error.
Martin Odersky
2015-06-19
1
-1
/
+0
|
*
Eliminate ABSOVERRIDE from TASTY
Martin Odersky
2015-06-19
3
-21
/
+22
|
*
Don't keep SkolemTypes in TASTY
Martin Odersky
2015-06-19
5
-18
/
+14
*
|
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
[next]