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
*
Negtests with // error comments
vsalvis
2016-02-18
34
-94
/
+95
*
Add checks for value classes:
VladimirNik
2016-02-16
1
-0
/
+10
*
Merge pull request #1081 from dotty-staging/fix-#645
Dmitry Petrashko
2016-02-12
1
-0
/
+15
|
\
|
*
Add test case for #645
Martin Odersky
2016-02-12
1
-0
/
+15
*
|
Survive class of errors in implicit search
Martin Odersky
2016-02-12
1
-0
/
+5
|
/
*
By-name parameters are not stable values.
Martin Odersky
2016-02-09
2
-14
/
+21
*
New test files from SI 7278.
Martin Odersky
2016-02-09
1
-0
/
+42
*
Big realizability refactoring
Martin Odersky
2016-02-09
5
-38
/
+129
*
Handle paths of length > 1 for realizability checking
Martin Odersky
2016-02-09
1
-0
/
+27
*
Drop lines from test
Martin Odersky
2016-02-09
2
-3
/
+1
*
Check that non-abstract classes have realizable bounds.
Martin Odersky
2016-02-09
1
-3
/
+18
*
Handle imports in path checks.
Martin Odersky
2016-02-09
1
-11
/
+9
*
Fix path error disgnastics
Martin Odersky
2016-02-09
1
-0
/
+16
*
Only final lazy vals can be paths.
Martin Odersky
2016-02-09
2
-2
/
+31
*
Enforce rule that laziness is preserved when overriding.
Martin Odersky
2016-02-09
1
-1
/
+7
*
Reorganize tests to account for new typing of projection
Martin Odersky
2016-02-09
4
-21
/
+79
*
Also consider type aliases when checking for realizability
Martin Odersky
2016-02-09
1
-0
/
+24
*
Use isRealizable to identify stable prefixes
Martin Odersky
2016-02-09
1
-9
/
+9
*
No volatile check needed for strict vals.
Martin Odersky
2016-02-09
1
-9
/
+9
*
Handle "missing args" case when expected type is a singleton type.
Martin Odersky
2016-02-05
1
-0
/
+11
*
Check AppliedTypeTrees bounds inside AppliedTypeTree
Guillaume Martres
2016-01-18
1
-0
/
+5
*
Adapt and add tests
Martin Odersky
2016-01-18
3
-7
/
+143
*
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
[next]