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
/
tests.scala
Commit message (
Expand
)
Author
Age
Files
Lines
*
Merge pull request #1066 from dotty-staging/fix-#997
odersky
2016-02-19
1
-0
/
+2
|
\
|
*
Fix expected error count
Martin Odersky
2016-02-19
1
-1
/
+1
|
*
Add checking for leaking private definitions
Martin Odersky
2016-02-19
1
-0
/
+2
*
|
Allow Named Arguments in TypeArgs
Martin Odersky
2016-02-19
1
-1
/
+1
*
|
Check named type params for welformedness rules.
Martin Odersky
2016-02-19
1
-0
/
+1
|
/
*
Merge pull request #898 from dotty-staging/add/auto-uncurry
odersky
2016-02-18
1
-0
/
+1
|
\
|
*
Strengthen requirement for auto-tupling
Martin Odersky
2016-02-16
1
-1
/
+1
|
*
Auto-uncurry n-ary functions.
Martin Odersky
2016-02-16
1
-0
/
+1
*
|
Add checks for value classes:
VladimirNik
2016-02-16
1
-0
/
+1
|
/
*
Merge pull request #1081 from dotty-staging/fix-#645
Dmitry Petrashko
2016-02-12
1
-0
/
+1
|
\
|
*
Add test case for #645
Martin Odersky
2016-02-12
1
-0
/
+1
*
|
Survive class of errors in implicit search
Martin Odersky
2016-02-12
1
-0
/
+1
|
/
*
By-name parameters are not stable values.
Martin Odersky
2016-02-09
1
-2
/
+2
*
Big realizability refactoring
Martin Odersky
2016-02-09
1
-6
/
+7
*
Handle paths of length > 1 for realizability checking
Martin Odersky
2016-02-09
1
-1
/
+1
*
Drop lines from test
Martin Odersky
2016-02-09
1
-2
/
+2
*
Check that non-abstract classes have realizable bounds.
Martin Odersky
2016-02-09
1
-1
/
+1
*
Handle imports in path checks.
Martin Odersky
2016-02-09
1
-1
/
+1
*
Fix path error disgnastics
Martin Odersky
2016-02-09
1
-1
/
+1
*
Only final lazy vals can be paths.
Martin Odersky
2016-02-09
1
-1
/
+2
*
Enforce rule that laziness is preserved when overriding.
Martin Odersky
2016-02-09
1
-2
/
+2
*
Reorganize tests to account for new typing of projection
Martin Odersky
2016-02-09
1
-5
/
+6
*
Also consider type aliases when checking for realizability
Martin Odersky
2016-02-09
1
-0
/
+1
*
Use isRealizable to identify stable prefixes
Martin Odersky
2016-02-09
1
-1
/
+1
*
Merge pull request #1063 from dotty-staging/fix-#803
Dmitry Petrashko
2016-02-08
1
-0
/
+1
|
\
|
*
Handle "missing args" case when expected type is a singleton type.
Martin Odersky
2016-02-05
1
-0
/
+1
*
|
Surive non-existing sourceModule in Scala2 pickled info.
Martin Odersky
2016-02-05
1
-0
/
+1
|
/
*
Check AppliedTypeTrees bounds inside AppliedTypeTree
Guillaume Martres
2016-01-18
1
-0
/
+1
*
Avoid infinite subtyping checks when intersecting denotations
Guillaume Martres
2016-01-18
1
-1
/
+1
*
Adapt and add tests
Martin Odersky
2016-01-18
1
-3
/
+4
*
Always eta-expand AppliedTypeTrees arguments
Guillaume Martres
2016-01-16
1
-1
/
+1
*
Compute type params in namer without completing the whole info
Martin Odersky
2016-01-16
1
-0
/
+9
*
Fix checkNonCyclic.
Martin Odersky
2016-01-16
1
-0
/
+1
*
Merge pull request #993 from dotty-staging/tasty-typer-test
Dmitry Petrashko
2016-01-03
1
-0
/
+7
|
\
|
*
Add tests for dotc.typer pickling/unpickling
VladimirNik
2015-12-04
1
-0
/
+7
*
|
Fix #1009: Do not forget to skolemize some types
Guillaume Martres
2015-12-24
1
-0
/
+1
*
|
Update test error count
Martin Odersky
2015-12-22
1
-1
/
+1
*
|
Merge pull request #1001 from dotty-staging/change-distribute-or
odersky
2015-12-21
1
-2
/
+1
|
\
\
|
*
|
Add test case
Martin Odersky
2015-12-19
1
-0
/
+1
|
*
|
Revise alias rules in type comparisons.
Martin Odersky
2015-12-15
1
-2
/
+0
*
|
|
Merge pull request #1007 from dotty-staging/fix/tests-ycheck
Dmitry Petrashko
2015-12-21
1
-1
/
+1
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Fix typo in command run by Jenkins
Guillaume Martres
2015-12-21
1
-1
/
+1
|
|
/
*
|
Check types for overriding conditions.
Martin Odersky
2015-12-14
1
-1
/
+1
*
|
Better diagnosis for cyclic references caused by class clashes.
Martin Odersky
2015-12-14
1
-1
/
+2
*
|
Make some types of definitions symbolic
Martin Odersky
2015-12-14
1
-1
/
+1
*
|
Allow deep subtype for sets and related code in dotty/transform.
Martin Odersky
2015-12-13
1
-2
/
+3
*
|
Disallow hk type parameters in lower bounds.
Martin Odersky
2015-12-11
1
-0
/
+1
*
|
Disallow existentially bound parameters as type parameters
Martin Odersky
2015-12-06
1
-0
/
+1
|
/
*
Indicate regex used for filtering out benchmarks.
Dmitry Petrashko
2015-12-02
1
-1
/
+1
*
Add tests for dotc.core pickling/unpickling
VladimirNik
2015-12-02
1
-0
/
+13
[next]