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
/
neg
Commit message (
Expand
)
Author
Age
Files
Lines
*
Fix checkNonCyclic.
Martin Odersky
2016-01-16
1
-0
/
+8
*
Fix #1009: Do not forget to skolemize some types
Guillaume Martres
2015-12-24
1
-0
/
+13
*
Update test error count
Martin Odersky
2015-12-22
1
-2
/
+2
*
Fix off by 2 error for symbol positions
Martin Odersky
2015-12-22
1
-5
/
+0
*
Add test case
Martin Odersky
2015-12-19
1
-0
/
+40
*
Check types for overriding conditions.
Martin Odersky
2015-12-14
1
-0
/
+18
*
Better diagnosis for cyclic references caused by class clashes.
Martin Odersky
2015-12-14
2
-19
/
+20
*
Make some types of definitions symbolic
Martin Odersky
2015-12-14
1
-11
/
+11
*
Disallow hk type parameters in lower bounds.
Martin Odersky
2015-12-11
1
-0
/
+11
*
Disallow existentially bound parameters as type parameters
Martin Odersky
2015-12-06
1
-0
/
+16
*
Generalize test to function classes
Martin Odersky
2015-11-16
1
-0
/
+9
*
Merge pull request #927 from dotty-staging/stdlib-bounds
odersky
2015-11-09
2
-39
/
+8
|
\
|
*
Check bounds of inferred typevars in PostTyper.
Martin Odersky
2015-11-05
1
-0
/
+8
|
*
Drop test that lower bound must be a subtype of upper bound.
Martin Odersky
2015-11-05
1
-39
/
+0
*
|
Handle variance unsoundness in scalac
Martin Odersky
2015-11-05
1
-0
/
+26
|
/
*
Merge pull request #900 from dotty-staging/fix-#871
odersky
2015-11-05
1
-0
/
+5
|
\
|
*
Deal gracefully with missing return types of abstract menthods.
Martin Odersky
2015-11-01
1
-0
/
+5
*
|
Merge pull request #860 from dotty-staging/change-allow-ex-in-hk
Dmitry Petrashko
2015-11-02
2
-15
/
+4
|
\
\
|
|
/
|
/
|
|
*
Represent references to Scala2 inner classes as WithFixedSym types
Martin Odersky
2015-10-25
1
-4
/
+4
|
*
Allow existential types in hk types
Martin Odersky
2015-10-24
1
-11
/
+0
*
|
Merge pull request #886 from dotty-staging/fix-#884
Guillaume Martres
2015-10-30
2
-6
/
+6
|
\
\
|
*
|
Fix #884 - misdiagnosed ambiguous definition.
Martin Odersky
2015-10-29
2
-6
/
+6
|
|
/
*
/
Don't count suppressed errors
Martin Odersky
2015-10-26
1
-0
/
+9
|
/
*
Better handling of merge errors
Martin Odersky
2015-10-22
1
-0
/
+7
*
Add well-formedness checking for created symbols
Martin Odersky
2015-10-22
3
-0
/
+74
*
Fix tests to survive wellformedness checks
Martin Odersky
2015-10-22
3
-3
/
+3
*
Merge pull request #821 from dotty-staging/fix-check-simple-kinded
Dmitry Petrashko
2015-10-20
1
-1
/
+7
|
\
|
*
Check that some types are not higher-kinded.
Martin Odersky
2015-10-07
1
-1
/
+7
*
|
Merge pull request #799 from dotty-staging/change-inference
odersky
2015-10-07
1
-0
/
+7
|
\
\
|
|
/
|
/
|
|
*
Added neg test
Martin Odersky
2015-09-18
1
-0
/
+7
*
|
Move test to pos
Martin Odersky
2015-09-29
1
-7
/
+0
*
|
Matching denotations should take infos into account
Martin Odersky
2015-09-29
1
-2
/
+2
*
|
Disallow wildcard arguments to higher-kinded types...
Martin Odersky
2015-09-18
1
-0
/
+11
|
/
*
Merge pull request #767 from dotty-staging/fix-#756-super-accessors
Dmitry Petrashko
2015-08-28
1
-0
/
+8
|
\
|
*
Add missing negative test.
Martin Odersky
2015-08-21
1
-0
/
+8
*
|
Make it a syntactic criterion whether a literal is a legal type
Martin Odersky
2015-08-24
1
-0
/
+2
*
|
Better error message for Null and 'sym singleton types.
Martin Odersky
2015-08-23
1
-0
/
+4
*
|
Update neg test
Martin Odersky
2015-08-23
1
-1
/
+0
*
|
Tests of functionality.
Martin Odersky
2015-08-23
1
-0
/
+6
|
/
*
Merge pull request #719 from dotty-staging/fix/doubledefs
Dmitry Petrashko
2015-07-20
1
-0
/
+6
|
\
|
*
Add test case
Martin Odersky
2015-07-09
1
-0
/
+6
*
|
Don't add lower bounds of abstract types to the implicit scope
Guillaume Martres
2015-07-11
1
-0
/
+14
*
|
Check that a self type T is closed.
Martin Odersky
2015-07-06
1
-0
/
+4
*
|
Error instead of crash when sigName comes up with a missing reference.
Martin Odersky
2015-07-06
1
-0
/
+37
|
/
*
Merge pull request #695 from dotty-staging/fix/source-positions
Dmitry Petrashko
2015-07-02
1
-0
/
+4
|
\
|
*
Avoid crasher when first token of a program is in error
Martin Odersky
2015-06-25
1
-0
/
+4
*
|
Check value class member restrictions
Martin Odersky
2015-07-02
1
-0
/
+7
*
|
Check that value classes are static
Martin Odersky
2015-07-02
1
-0
/
+15
*
|
Check final and sealed conditions
Martin Odersky
2015-07-02
1
-0
/
+4
|
/
*
Implement trait parameters
Martin Odersky
2015-06-19
1
-0
/
+12
[next]