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
/
dotty
/
tools
Commit message (
Expand
)
Author
Age
Files
Lines
*
Introduce recursive types
Martin Odersky
2016-07-11
16
-37
/
+292
*
New type lambda scheme for hk types
Martin Odersky
2016-07-11
7
-3
/
+85
*
Better printing of skolems
Martin Odersky
2016-07-11
2
-2
/
+8
*
Allow general recursion in refined types.
Martin Odersky
2016-07-11
13
-41
/
+59
*
Allow refinements of new types
Martin Odersky
2016-07-11
5
-18
/
+50
*
Merge pull request #1371 from dotty-staging/fix-#1366
Nicolas Stucki
2016-07-11
1
-4
/
+11
|
\
|
*
Fix: #1366, constant adaptation
Martin Odersky
2016-07-08
1
-4
/
+11
*
|
Remove print option from ScalaSettings
Edmund Noble
2016-07-06
1
-1
/
+0
*
|
Revert "Implement -print as -Xprint:(last phase)"
Edmund Noble
2016-07-06
1
-2
/
+1
*
|
Implement -print as -Xprint:(last phase)
Edmund Noble
2016-07-02
1
-1
/
+2
|
/
*
Add straightforward fix to #1308
jvican
2016-07-01
1
-1
/
+1
*
Merge pull request #1315 from nicolasstucki/optimize-try-cases
Dmitry Petrashko
2016-06-30
3
-75
/
+103
|
\
|
*
Fix #856: Handle try/catch cases as catch cases if possible.
Nicolas Stucki
2016-06-28
3
-75
/
+103
*
|
Merge pull request #1338 from dotty-jvican/non-deferred-ycheck
Dmitry Petrashko
2016-06-30
1
-0
/
+21
|
\
\
|
|
/
|
/
|
|
*
Add postcondition check that ensures #971
jvican
2016-06-29
1
-0
/
+21
*
|
Merge pull request #1226 from dotty-staging/static-fixes
Dmitry Petrashko
2016-06-22
12
-31
/
+121
|
\
\
|
*
|
Make class initialisers private. Otherwise they break GenBCode.
Dmitry Petrashko
2016-06-07
1
-1
/
+1
|
*
|
MoveStatics: Fix classes without companion not getting static <clinit>
Dmitry Petrashko
2016-06-07
1
-19
/
+20
|
*
|
LazyVals: fix leftover moduleClass usage.
Dmitry Petrashko
2016-06-07
1
-1
/
+1
|
*
|
CheckStatic: report error position in case of disallowed override
Dmitry Petrashko
2016-06-07
1
-1
/
+1
|
*
|
MoveStatics: fix a bug.
Dmitry Petrashko
2016-06-07
1
-1
/
+2
|
*
|
DottyBackendInterface: fix a bug in methodSymbols.
Dmitry Petrashko
2016-06-07
1
-1
/
+1
|
*
|
MoveStatics: survive absence of companions.
Dmitry Petrashko
2016-06-07
1
-14
/
+24
|
*
|
SymDenotations: fix comment.
Dmitry Petrashko
2016-06-07
1
-1
/
+1
|
*
|
Fix Ycheck: allow assigning fields in static constructors.
Dmitry Petrashko
2016-06-07
3
-1
/
+6
|
*
|
MoveStatics: fix two bugs.
Dmitry Petrashko
2016-06-07
1
-1
/
+2
|
*
|
LazyVals: do not share offsets between companions.
Dmitry Petrashko
2016-06-07
1
-12
/
+9
|
*
|
Fix #1224: static members do not override\implement parent symbols.
Dmitry Petrashko
2016-06-07
1
-3
/
+5
|
*
|
Fix type in SymDenotations.
Dmitry Petrashko
2016-06-07
1
-1
/
+1
|
*
|
Drop support for @static lazy vals.
Dmitry Petrashko
2016-06-07
1
-0
/
+3
|
*
|
MoveStatic: Move static methods & fields into companion class
Dmitry Petrashko
2016-06-07
3
-3
/
+71
|
*
|
Allow creating static initialisers.
Dmitry Petrashko
2016-06-07
2
-1
/
+5
|
*
|
Getters: do not generate getters for static vals
Dmitry Petrashko
2016-06-07
1
-0
/
+1
|
*
|
Constructors: do not lift static val initialisation into constructors.
Dmitry Petrashko
2016-06-07
1
-2
/
+2
|
*
|
SymDenotations: Allow entering Static symbols.
Dmitry Petrashko
2016-06-07
1
-1
/
+1
|
*
|
Fix #1220. Dont die when having incorect static methods
Dmitry Petrashko
2016-06-07
1
-7
/
+4
*
|
|
Merge pull request #1309 from felixmulder/topic/fix#1307
Dmitry Petrashko
2016-06-22
1
-0
/
+4
|
\
\
\
|
*
|
|
Move GADT check to `typeTyped`
Felix Mulder
2016-06-07
1
-4
/
+5
|
*
|
|
Fix issue with GADT not typechecking without bind in match
Felix Mulder
2016-06-06
1
-1
/
+4
*
|
|
|
better handling of overloaded extractors
liu fengyun
2016-06-20
1
-2
/
+2
|
|
_
|
/
|
/
|
|
*
|
|
Add loader support for dotty bridge
Felix Mulder
2016-06-09
2
-7
/
+17
|
|
/
|
/
|
*
|
Merge pull request #1302 from dotty-staging/fix/partest-cli-error
Dmitry Petrashko
2016-06-07
1
-1
/
+1
|
\
\
|
|
/
|
/
|
|
*
Properly report errors when cli flags are malformed
Guillaume Martres
2016-06-02
1
-1
/
+1
*
|
Merge pull request #1288 from dotty-staging/fix/implicit-caching-2
Guillaume Martres
2016-06-03
3
-15
/
+41
|
\
\
|
*
|
Overloading resolution: prefer directly applicable methods
Guillaume Martres
2016-06-03
1
-4
/
+10
|
*
|
Don't compute implicit scopes for synthetic Lambda traits
Guillaume Martres
2016-05-31
1
-1
/
+4
|
*
|
Avoid creating AndTypes with Any
Guillaume Martres
2016-05-31
2
-2
/
+7
|
*
|
OfTypeImplicits: compute refs lazily
Guillaume Martres
2016-05-31
1
-1
/
+1
|
*
|
Never include self types in named parts of a type
Guillaume Martres
2016-05-31
1
-1
/
+1
|
*
|
Do not miss implicits in type parameters of parents
Guillaume Martres
2016-05-31
1
-1
/
+1
[next]