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
*
Polish code.
Martin Odersky
2015-06-23
1
-2
/
+2
*
Avoid junk produced by Constraint#replace.
Martin Odersky
2015-06-22
5
-6
/
+41
*
Merge pull request #641 from dotty-staging/change/early-annotations
odersky
2015-06-21
3
-17
/
+35
|
\
|
*
Fix oversight causing a type error on build.
Martin Odersky
2015-06-19
1
-3
/
+1
|
*
Remove dead code and rename addTypedModifiersAnnotations
Martin Odersky
2015-06-19
1
-13
/
+9
|
*
Evaluate annotations in Namer
Martin Odersky
2015-06-19
2
-2
/
+26
*
|
Merge pull request #674 from dotty-staging/fix/#655-eta-expansion
odersky
2015-06-21
3
-17
/
+19
|
\
\
|
*
|
Improve naming of parameter type.
Martin Odersky
2015-06-19
1
-2
/
+2
|
*
|
Fixed typo in doc comment.
Martin Odersky
2015-06-19
1
-1
/
+1
|
*
|
Fix problem in eta expansion.
Martin Odersky
2015-06-19
1
-1
/
+1
|
*
|
Refactor viewExists
Martin Odersky
2015-06-19
2
-15
/
+17
*
|
|
Merge pull request #669 from dotty-staging/fix-patmat-seq
odersky
2015-06-19
3
-4
/
+6
|
\
\
\
|
*
|
|
Fix wrong test in PatMat.
Dmitry Petrashko
2015-06-19
1
-1
/
+1
|
*
|
|
Make named repeated parameters discoverable during PatMat.
Dmitry Petrashko
2015-06-19
2
-3
/
+5
*
|
|
|
Merge pull request #671 from dotty-staging/fix/#659-lambdalift-proxies
odersky
2015-06-19
3
-7
/
+23
|
\
|
|
|
|
|
/
/
|
/
|
|
|
*
|
Add initializers for lambdalift proxy fields
Martin Odersky
2015-06-19
2
-5
/
+19
|
*
|
Fix problem with explicit outer accessors
Martin Odersky
2015-06-19
1
-2
/
+4
*
|
|
Refine result type checking
Martin Odersky
2015-06-19
1
-8
/
+13
*
|
|
Always take results into account for resolveOverloading
Martin Odersky
2015-06-19
2
-47
/
+54
*
|
|
Take expected result type into account more often for overloading resolution
Martin Odersky
2015-06-19
3
-2
/
+42
|
/
/
*
|
Merge pull request #639 from dotty-staging/add/trait-parameters
odersky
2015-06-19
5
-37
/
+94
|
\
\
|
*
|
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
|
*
|
Drop parameter accessor flag in traits
Martin Odersky
2015-06-19
1
-4
/
+6
|
*
|
Revert: Implementations of mixin getters are never ParamAccessors
Martin Odersky
2015-06-19
1
-1
/
+1
|
*
|
Implement trait parameters
Martin Odersky
2015-06-19
2
-16
/
+60
|
*
|
Implement checking for illegal parent trait constructor calls.
Martin Odersky
2015-06-19
2
-5
/
+12
|
*
|
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
*
|
Fix stack overflow when testing for shadowing
Martin Odersky
2015-06-19
2
-2
/
+8
*
|
Merge pull request #663 from dotty-staging/fix/#643-scala2-noinits
Dmitry Petrashko
2015-06-19
9
-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
2
-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
19
-232
/
+316
|
\
\
\
|
*
|
|
Better printing of skolem types
Martin Odersky
2015-06-06
1
-2
/
+2
|
*
|
|
Document asSeenFrom
Martin Odersky
2015-06-06
1
-2
/
+46
|
*
|
|
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
4
-4
/
+32
|
*
|
|
Skolemize unstable prefixes in asSeenFrom
Martin Odersky
2015-06-06
4
-8
/
+20
|
*
|
|
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
[next]