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
/
test
/
dotc
Commit message (
Expand
)
Author
Age
Files
Lines
*
Add well-formedness checking for created symbols
Martin Odersky
2015-10-22
1
-0
/
+3
*
Fix tests to survive wellformedness checks
Martin Odersky
2015-10-22
1
-3
/
+3
*
Quick&dirty bootstrap
Dmitry Petrashko
2015-10-22
1
-0
/
+28
*
Merge pull request #821 from dotty-staging/fix-check-simple-kinded
Dmitry Petrashko
2015-10-20
1
-1
/
+1
|
\
|
*
Check that some types are not higher-kinded.
Martin Odersky
2015-10-07
1
-1
/
+1
*
|
Always fully define the types of lifted expressions
Guillaume Martres
2015-10-19
1
-0
/
+1
|
/
*
Matching denotations should take infos into account
Martin Odersky
2015-09-29
1
-2
/
+1
*
add pos_companions to the suite
Sarunas Valaskevicius
2015-09-25
1
-0
/
+1
*
Disallow wildcard arguments to higher-kinded types...
Martin Odersky
2015-09-18
1
-0
/
+1
*
Add a test that logs the classpath to pinpoint setup failures.
Martin Odersky
2015-09-18
1
-0
/
+2
*
Merge pull request #767 from dotty-staging/fix-#756-super-accessors
Dmitry Petrashko
2015-08-28
1
-0
/
+1
|
\
|
*
Fix test when abstract override is needed.
Martin Odersky
2015-08-21
1
-0
/
+1
*
|
Make it a syntactic criterion whether a literal is a legal type
Martin Odersky
2015-08-24
1
-1
/
+1
*
|
Test other forms of singleton types.
Martin Odersky
2015-08-23
1
-1
/
+1
*
|
Tests of functionality.
Martin Odersky
2015-08-23
1
-0
/
+1
|
/
*
Revert "Disable -Ycheck:labelDefs"
Martin Odersky
2015-08-05
1
-1
/
+1
*
Add LiftTry phase
Martin Odersky
2015-08-05
1
-1
/
+1
*
Disable -Ycheck:labelDefs
Martin Odersky
2015-08-04
1
-1
/
+1
*
Merge pull request #735 from dotty-staging/ycheck-methods
odersky
2015-08-04
1
-1
/
+1
|
\
|
*
Compile dotty.*, not only dotty.tools.
Dmitry Petrashko
2015-07-23
1
-1
/
+1
*
|
Merge pull request #724 from dotty-staging/labels-Ycheck
Dmitry Petrashko
2015-07-22
1
-3
/
+8
|
\
\
|
*
|
Disable Ycheck:all until #725 is fixed.
Dmitry Petrashko
2015-07-20
1
-1
/
+1
|
*
|
Enable -Ycheck:all in Jenkins.
Dmitry Petrashko
2015-07-20
1
-3
/
+8
|
*
|
Enable Ycheck after labelDef. Fixes #701
Dmitry Petrashko
2015-07-13
1
-1
/
+1
|
|
/
*
|
Merge pull request #719 from dotty-staging/fix/doubledefs
Dmitry Petrashko
2015-07-20
1
-1
/
+1
|
\
\
|
*
|
Added test
Martin Odersky
2015-07-10
1
-1
/
+1
*
|
|
Don't add lower bounds of abstract types to the implicit scope
Guillaume Martres
2015-07-11
1
-0
/
+1
|
|
/
|
/
|
*
|
Merge pull request #708 from dotty-staging/add/check-reentrant
odersky
2015-07-06
1
-1
/
+1
|
\
\
|
*
|
Add -Ycheck-reentrant to dotty test.
Martin Odersky
2015-07-06
1
-1
/
+1
*
|
|
Check that a self type T is closed.
Martin Odersky
2015-07-06
1
-1
/
+1
*
|
|
Error instead of crash when sigName comes up with a missing reference.
Martin Odersky
2015-07-06
1
-0
/
+1
|
/
/
*
|
Merge pull request #694 from dotty-staging/fix/dependent-methods
odersky
2015-07-06
1
-1
/
+1
|
\
\
|
|
/
|
/
|
|
*
Avoid follow-on errors after implicit argument errors.
Martin Odersky
2015-06-23
1
-1
/
+1
*
|
Merge pull request #695 from dotty-staging/fix/source-positions
Dmitry Petrashko
2015-07-02
1
-0
/
+1
|
\
\
|
*
|
Avoid crasher when first token of a program is in error
Martin Odersky
2015-06-25
1
-0
/
+1
|
|
/
*
|
Check value class member restrictions
Martin Odersky
2015-07-02
1
-1
/
+1
*
|
Check that value classes are static
Martin Odersky
2015-07-02
1
-0
/
+2
|
/
*
Implement trait parameters
Martin Odersky
2015-06-19
1
-0
/
+1
*
Implement checking for illegal parent trait constructor calls.
Martin Odersky
2015-06-19
1
-0
/
+1
*
Fix stack overflow when testing for shadowing
Martin Odersky
2015-06-19
1
-0
/
+1
*
Delete test which no longer applies
Martin Odersky
2015-06-06
1
-1
/
+0
*
Skolemize unstable prefixes in asSeenFrom
Martin Odersky
2015-06-06
1
-2
/
+1
*
Eliminate `_' from rhs of ValDefs
Martin Odersky
2015-05-29
1
-1
/
+1
*
Run partest directory as whole by default.
Dmitry Petrashko
2015-05-13
1
-2
/
+2
*
Removing pickle tests because directory doesn't exist anymore.
vsalvis
2015-05-12
1
-3
/
+4
*
Run tests for partest
vsalvis
2015-05-12
1
-1
/
+7
*
Re-enable tests
Martin Odersky
2015-05-11
1
-4
/
+4
*
Do not try to compile dotty runtime yet. Problems with DottyPredef.
Dmitry Petrashko
2015-05-08
1
-1
/
+1
*
Data race in typer: seems due to presence of DottyPredef both on class path a...
Dmitry Petrashko
2015-05-08
1
-3
/
+4
*
Compile Dotty including runtime and utils.
Dmitry Petrashko
2015-05-08
1
-6
/
+6
[next]