summaryrefslogtreecommitdiff
path: root/test/files/neg
Commit message (Collapse)AuthorAgeFilesLines
* Emit a warning if a user tries to defineLex Spoon2007-10-021-0/+6
| | | | | their own subclass of ClassfileAnnotation
* Fixed interpreter error recovery mode and somet...Sean McDirmid2007-09-271-1/+1
| | | | | | | | Fixed interpreter error recovery mode and something in Namers that was unlinking module symbols (removed unlink, hope resident compiler is ok, but there are no tests for this in the test suite, better to fix the tests we do have then worry about tests we don't right?)
* optimizing irrefutable tuple matches and remove...Burak Emir2007-09-261-1/+1
| | | | | optimizing irrefutable tuple matches and removed -Ymatch-algo
* I hate the test script.Sean McDirmid2007-09-251-3/+3
|
* Fixing bugs neg/bug432.scala and neg/badtok-1.s...Sean McDirmid2007-09-251-2/+5
| | | | | | | Fixing bugs neg/bug432.scala and neg/badtok-1.scala. Also, removed buggy filtered mutable iterator. Replaced with one that doesn't support remove.
* Massive check-in for IDE.Sean McDirmid2007-09-1756-102/+96
|
* 1. added var pattern = expr syntaxMartin Odersky2007-09-103-5/+5
| | | | | | | 2. better error messages in two situations 3. fixed tickets 5, 33, 42 4. changed check files of 3 failing tests
* fixed lift build problem.Martin Odersky2007-08-304-0/+45
|
* NEW TEST BUG1279. FIXED CHECK FILE.Martin Odersky2007-08-223-1/+45
|
* fixed 1275 by adding minimal early check to Nam...Adriaan Moors2007-08-222-0/+18
| | | | | fixed 1275 by adding minimal early check to Namers so that overriding of type members in refinements cannot change number of type parameters (in principle the full overriding checks should be performed at a later point, when they don't cause cyclicity errors -- this is TODO)
* some fix for bug1279Martin Odersky2007-08-211-28/+0
| | | | | applied Koltsov patch
* Added test for structural refinement error cases.Gilles Dubochet2007-07-272-0/+64
|
* Fixed bug1210Martin Odersky2007-07-262-0/+35
|
* fixed bugs 1237, 1241Martin Odersky2007-07-253-1/+13
|
* new testMartin Odersky2007-07-252-0/+9
|
* many bug fixes; short syntax for structural types.Martin Odersky2007-07-232-6/+15
|
* fixed 1231 (erroneously overriding abstract hig...Adriaan Moors2007-07-202-0/+15
| | | | | | fixed 1231 (erroneously overriding abstract higher-kinded type member with type member of kind * is not detected) --> added [type|term]SymbolDirect, which returns the symbol directly associated with a Type (i.e., without normalizing first)
* classOf[Integer] now properly resolves to class...Adriaan Moors2007-07-202-2/+12
| | | | | | | classOf[Integer] now properly resolves to classOf[java.lang.Integer] because Predef.Integer (and Character) are @deprecated, had to update check files to include these warnings
* Qualifying Integer/Character references with ja...Sean McDirmid2007-07-201-2/+2
| | | | | Qualifying Integer/Character references with java.lang
* (no commit message)Lex Spoon2007-07-166-6/+6
|
* changes in check fileMartin Odersky2007-07-141-1/+1
|
* (no commit message)Lex Spoon2007-07-1312-0/+40
|
* 1.Martin Odersky2007-07-124-3/+19
| | | | | | | 2. some new tests. 3. split Type.symbol to typeSymbol/termSymbol 4. some fixes to lub opertation
* updated check fileMartin Odersky2007-07-021-4/+4
|
* fixed bug1183Martin Odersky2007-07-022-0/+55
|
* fixed bug1170Martin Odersky2007-06-292-2/+64
|
* fxied .check files for tcpolyMartin Odersky2007-06-292-4/+4
|
* Merged lazy values branch to trunk.Iulian Dragos2007-06-272-0/+51
|
* fixed bug1188Adriaan Moors2007-06-203-5/+22
| | | | | | | | | | | fix kind-checking in adapt: it checked tree.symbol.typeParams, which makes m[t] look like a higher-kinded type, even though it's of kind * (the symbol doesn't know about the application to t)... now using tree.tpe.typeParams removed check for tree.hasSymbol (TypeTree's must also be checked, and they don't directly have a symbol) replaced tree.symbol by tree.tpe.symbol
* added wildcards. Changed for_some to forSome.Martin Odersky2007-06-192-111/+0
|
* changed test files: bug1001 compiles now.Martin Odersky2007-06-192-0/+13
|
* fixed test file; fixed Long/Long bugMartin Odersky2007-06-191-5/+15
|
* more existentialsMartin Odersky2007-06-154-2/+30
|
* Fixed structural subtyping to work when JVM 1.5...Gilles Dubochet2007-06-062-18/+0
| | | | | | Fixed structural subtyping to work when JVM 1.5 target is used. Bug 711 no longer is “neg” thanks to structural subtyping.
* deprecated &f, .f, requires.Martin Odersky2007-06-0515-44/+11
| | | | | Added existential types.
* Capitalized type params in Predef, fixed bug in...michelou2007-05-314-7/+7
| | | | | Capitalized type params in Predef, fixed bug in URLZipArchive
* (no commit message)Lex Spoon2007-05-302-0/+10
|
* added regression tests for bugs 1106 and 1136Adriaan Moors2007-05-302-0/+12
|
* updated check fileMartin Odersky2007-05-191-1/+1
|
* fixed bug1112Adriaan Moors2007-05-152-0/+18
|
* fixed check fileMartin Odersky2007-05-011-4/+4
|
* more additions to checknull.Martin Odersky2007-05-012-0/+28
|
* suppress "scala." prefix in string representati...Adriaan Moors2007-04-1927-63/+63
| | | | | | suppress "scala." prefix in string representation of types (in error messages,..)
* added test for bug #1041michelou2007-04-162-0/+12
|
* implementing Martin's suggestions for tcpolyAdriaan Moors2007-04-1612-22/+22
| | | | | | | | | | | | - prefixString in SingleType suppresses scala.Predef prefixes - (sym.isPredefModule) better handling of double defs of `_' in type - params (now in enterInScope in Namers) introduced HKmode to indicate - we're typing a higher-kinded type, instead of reusing POLYmode | - TAPPmode - Typers.typedTypeConstructor does not normalize the result anymore -- now in GenICode generatedType = toTypeKind(tpt.tpe.normalize)
* refactored typer.Martin Odersky2007-04-132-2/+2
|
* changes to parser for 409/877.Martin Odersky2007-04-132-2/+2
|
* updated check filesmichelou2007-04-132-2/+2
|
* check for variables in pattern alternatives; ch...Martin Odersky2007-04-102-0/+12
| | | | | | check for variables in pattern alternatives; changes to enable presupercall initialization.
* adding test files from tcpoly branch without hi...Adriaan Moors2007-04-0620-0/+217
| | | | | adding test files from tcpoly branch without history -- much faster this way, sorry