aboutsummaryrefslogtreecommitdiff
path: root/tests/neg
Commit message (Expand)AuthorAgeFilesLines
...
* | Refinements to auto tuplingMartin Odersky2016-08-181-2/+0
|/
* Harden copmpareHkApply for ill-typed programsMartin Odersky2016-08-171-0/+25
* New string infterpolatorsMartin Odersky2016-08-161-0/+26
* Error message for illegal self type (#1424)Martin Odersky2016-08-161-0/+3
* Suspend interpolating typevars when there are unreported errors.Martin Odersky2016-08-161-0/+8
* Fix #1443: Replace toplevel TypeBounds with AnyClemens Winter2016-08-151-0/+20
* Merge pull request #1399 from dotty-staging/fix-patmat-typingodersky2016-07-182-0/+25
|\
| * Fix test error annotationMartin Odersky2016-07-181-1/+1
| * Add test caseMartin Odersky2016-07-181-0/+24
| * Fix typing of match expressionsMartin Odersky2016-07-171-0/+1
* | Merge pull request #1389 from dotty-staging/fix-#1381odersky2016-07-181-47/+0
|\ \ | |/ |/|
| * Changes to overloadingMartin Odersky2016-07-151-47/+0
* | Merge pull request #1291 from nicolasstucki/implement-scala-dynamicDmitry Petrashko2016-07-1532-0/+291
|\ \
| * | Fix TypeOps.featureEnabled ignoring import disabling.Nicolas Stucki2016-07-071-0/+10
| * | Add scala.Dynamic language feature check.Nicolas Stucki2016-07-071-0/+3
| * | Fix #657: Add scala.Dynamic support.Nicolas Stucki2016-07-0731-0/+278
* | | Merge pull request #1334 from dotty-jvican/implement-no-predef-no-importDmitry Petrashko2016-07-153-0/+9
|\ \ \ | |_|/ |/| |
| * | Implement -Yno-predef and -Yno-importsjvican2016-06-293-0/+9
* | | Bounds of type lambdas compare contravariantlyMartin Odersky2016-07-152-1/+9
* | | Add test case for hk bounds checkingMartin Odersky2016-07-141-0/+23
* | | Fix bounds checking of hk applied typedMartin Odersky2016-07-141-4/+4
* | | Allow hk parameters in lower boundsMartin Odersky2016-07-132-11/+4
* | | Drop restriction to 2nd order hk typesMartin Odersky2016-07-121-3/+3
* | | Avoid dealiasing on type applicationMartin Odersky2016-07-122-12/+1
* | | Allow definition of new types in refinementsMartin Odersky2016-07-124-10/+10
* | | Fix SI-2712Martin Odersky2016-07-111-0/+11
* | | More testsMartin Odersky2016-07-111-0/+11
* | | Disallow higher-kinded types that simulate general existential typesMartin Odersky2016-07-111-0/+61
* | | Don't make * types higher-kinded in avoidMartin Odersky2016-07-112-10/+10
* | | Change testsMartin Odersky2016-07-111-37/+0
* | | Eta-expand unapplied types that have type parametersMartin Odersky2016-07-111-0/+18
* | | Add a second betaReduceMartin Odersky2016-07-111-1/+1
* | | Normalize RecTypes on creation to avoid cycles.Martin Odersky2016-07-111-20/+21
| |/ |/|
* | Fix #856: Handle try/catch cases as catch cases if possible.Nicolas Stucki2016-06-281-0/+35
* | Test #1224.Dmitry Petrashko2016-06-071-0/+11
* | Test #1220Dmitry Petrashko2016-06-071-0/+4
|/
* Properly report errors when cli flags are malformedGuillaume Martres2016-06-021-0/+2
* Don't evaluate isInstanceOf for value classes, disable bugged testsFelix Mulder2016-05-261-0/+6
* Add Eq instances of standard types to PredefMartin Odersky2016-05-231-1/+10
* Add Java types to equality testMartin Odersky2016-05-231-0/+21
* Make Eq contravariantMartin Odersky2016-05-231-5/+4
* Test caseMartin Odersky2016-05-231-0/+80
* Hooks to check that comparisons with == / != make senseMartin Odersky2016-05-231-96/+0
* Add new strawman for multiversal equalityMartin Odersky2016-05-231-0/+96
* Remove stray testMartin Odersky2016-05-191-17/+0
* Handle MergeErrors in RefChecksMartin Odersky2016-05-192-14/+26
* Another test case involving super accessorsMartin Odersky2016-05-181-0/+17
* Issue MergeError exception for double def situationsMartin Odersky2016-05-182-17/+20
* Fix test caseMartin Odersky2016-05-181-2/+2
* Test caseMartin Odersky2016-05-181-0/+40
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-30 10:03:35 +0000