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
/
tests
Commit message (
Expand
)
Author
Age
Files
Lines
*
Made constraint data structures pluggable.
Martin Odersky
2015-01-12
1
-0
/
+13
*
Rename RefinedThis -> SkolemType
Martin Odersky
2015-01-10
1
-1
/
+1
*
Reverting the idea that RefinedThis types take levels.
Martin Odersky
2015-01-10
1
-1
/
+1
*
Simplify and fix bounds propagation in constraints.
Martin Odersky
2015-01-08
1
-2
/
+3
*
New scheme for subtyping refined types.
Martin Odersky
2015-01-08
1
-0
/
+0
*
Reorg of subtyping.
Martin Odersky
2015-01-01
4
-1
/
+26
*
test reorg
Martin Odersky
2014-12-21
4
-1
/
+3
*
tests reorgs
Martin Odersky
2014-12-21
6
-0
/
+35
*
Don't emit copy method for case classes with repeated parameters.
Martin Odersky
2014-12-20
1
-0
/
+0
*
New passing tests.
Martin Odersky
2014-12-19
2
-0
/
+31
*
Harden implicit scope computation against CyclicReference errors.
Martin Odersky
2014-12-19
2
-31
/
+0
*
Fix isUnboundedGeneric for alias types.
Martin Odersky
2014-12-19
1
-0
/
+52
*
Avoid name clashes when generating synthetic companion objects.
Martin Odersky
2014-12-19
1
-1
/
+2
*
Test re-org.
Martin Odersky
2014-12-19
6
-23
/
+3
*
Fix NoCyclicReference test
Martin Odersky
2014-12-19
1
-0
/
+0
*
Merge pull request #271 from dotty-staging/fix/i268-gadts
odersky
2014-12-19
1
-0
/
+15
|
\
|
*
Fixed #264 - failure to typecheck GADTs
Martin Odersky
2014-12-16
1
-0
/
+15
*
|
Merge pull request #251 from dotty-staging/shared-backend
Dmitry Petrashko
2014-12-17
3
-0
/
+32
|
\
\
|
*
|
Handle Arrays in backend.
Dmitry Petrashko
2014-12-16
1
-0
/
+8
|
*
|
Label test with nested cycles and simple patterns.
Dmitry Petrashko
2014-12-16
1
-0
/
+21
|
*
|
Add test for backend.
Dmitry Petrashko
2014-12-16
1
-0
/
+3
*
|
|
Fix #300: Make literals have the same constants as their types.
Martin Odersky
2014-12-17
1
-0
/
+6
*
|
|
Merge pull request #294 from samuelgruetter/tests-rewrite-2
odersky
2014-12-16
509
-64
/
+125
|
\
\
\
|
*
|
|
move failing tests from tests/untried/pos to tests/pending/pos
Samuel Gruetter
2014-12-16
494
-0
/
+0
|
*
|
|
run srewrite version 88d3cd4126d135617a8189f0a855757d7e2ab806 on tests/untrie...
Samuel Gruetter
2014-12-16
35
-57
/
+118
|
|
/
/
*
|
|
Merge pull request #282 from dotty-staging/fix/i0239-package-objects
odersky
2014-12-16
2
-0
/
+35
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Fix to asSeenFrom for package object members
Martin Odersky
2014-12-15
1
-0
/
+24
|
*
|
Fix #239 - handling of package objects
Martin Odersky
2014-12-13
1
-0
/
+11
*
|
|
Fix typechecking rules for Binds of type trees.
Martin Odersky
2014-12-15
1
-0
/
+19
|
|
/
|
/
|
*
|
Merge pull request #279 from dotty-staging/test/#91
odersky
2014-12-13
2
-0
/
+17
|
\
\
|
*
|
Two new tests
Martin Odersky
2014-12-13
2
-0
/
+17
|
|
/
*
/
Disable implicit conversions between from `Null` and `Nothing`.
Martin Odersky
2014-12-13
1
-0
/
+6
|
/
*
Merge pull request #277 from dotty-staging/change/drop-not-null
odersky
2014-12-13
1
-0
/
+19
|
\
|
*
Fix subtyping of null and refined types.
Martin Odersky
2014-12-13
1
-0
/
+19
*
|
Fixed test
Martin Odersky
2014-12-13
1
-1
/
+1
*
|
One more test case, coming from #214.
Martin Odersky
2014-12-13
1
-0
/
+1
*
|
Fix #248: Class cannot inherit from refinement types
Martin Odersky
2014-12-13
1
-0
/
+9
|
/
*
Previous scheme was buggy; leaked Array types to backend.
Martin Odersky
2014-11-28
1
-0
/
+14
*
Allow refinements that refine already refined types.
Martin Odersky
2014-11-26
2
-0
/
+66
*
Added test case from SI-6169
Martin Odersky
2014-11-25
1
-0
/
+69
*
Simpler cycle detection
Martin Odersky
2014-11-24
1
-0
/
+5
*
Fixed cycle detection.
Martin Odersky
2014-11-24
1
-0
/
+13
*
Added and corrected tests
Martin Odersky
2014-11-24
2
-1
/
+5
*
Better printing of variant types with wildcard arguments.
Martin Odersky
2014-11-24
1
-0
/
+11
*
Fix to checkBounds
Martin Odersky
2014-11-24
1
-0
/
+8
*
Fixes in TypeComparer for RefinedTypes.
Martin Odersky
2014-11-24
4
-22
/
+14
*
Fixed type adaptation problem in checkBounds
Martin Odersky
2014-11-24
1
-0
/
+18
*
Moving java tests to pos
Dmitry Petrashko
2014-11-22
83
-0
/
+5
*
Java annotations parsing problem
Dmitry Petrashko
2014-11-22
1
-1
/
+5
*
create dummy first constructor for Java classes
Ondrej Lhotak
2014-11-22
2
-0
/
+0
[next]