Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Emit a warning if a user tries to define | Lex Spoon | 2007-10-02 | 1 | -0/+6 |
| | | | | | their own subclass of ClassfileAnnotation | ||||
* | Fixed interpreter error recovery mode and somet... | Sean McDirmid | 2007-09-27 | 1 | -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 Emir | 2007-09-26 | 1 | -1/+1 |
| | | | | | optimizing irrefutable tuple matches and removed -Ymatch-algo | ||||
* | I hate the test script. | Sean McDirmid | 2007-09-25 | 1 | -3/+3 |
| | |||||
* | Fixing bugs neg/bug432.scala and neg/badtok-1.s... | Sean McDirmid | 2007-09-25 | 1 | -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 McDirmid | 2007-09-17 | 56 | -102/+96 |
| | |||||
* | 1. added var pattern = expr syntax | Martin Odersky | 2007-09-10 | 3 | -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 Odersky | 2007-08-30 | 4 | -0/+45 |
| | |||||
* | NEW TEST BUG1279. FIXED CHECK FILE. | Martin Odersky | 2007-08-22 | 3 | -1/+45 |
| | |||||
* | fixed 1275 by adding minimal early check to Nam... | Adriaan Moors | 2007-08-22 | 2 | -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 bug1279 | Martin Odersky | 2007-08-21 | 1 | -28/+0 |
| | | | | | applied Koltsov patch | ||||
* | Added test for structural refinement error cases. | Gilles Dubochet | 2007-07-27 | 2 | -0/+64 |
| | |||||
* | Fixed bug1210 | Martin Odersky | 2007-07-26 | 2 | -0/+35 |
| | |||||
* | fixed bugs 1237, 1241 | Martin Odersky | 2007-07-25 | 3 | -1/+13 |
| | |||||
* | new test | Martin Odersky | 2007-07-25 | 2 | -0/+9 |
| | |||||
* | many bug fixes; short syntax for structural types. | Martin Odersky | 2007-07-23 | 2 | -6/+15 |
| | |||||
* | fixed 1231 (erroneously overriding abstract hig... | Adriaan Moors | 2007-07-20 | 2 | -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 Moors | 2007-07-20 | 2 | -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 McDirmid | 2007-07-20 | 1 | -2/+2 |
| | | | | | Qualifying Integer/Character references with java.lang | ||||
* | (no commit message) | Lex Spoon | 2007-07-16 | 6 | -6/+6 |
| | |||||
* | changes in check file | Martin Odersky | 2007-07-14 | 1 | -1/+1 |
| | |||||
* | (no commit message) | Lex Spoon | 2007-07-13 | 12 | -0/+40 |
| | |||||
* | 1. | Martin Odersky | 2007-07-12 | 4 | -3/+19 |
| | | | | | | | 2. some new tests. 3. split Type.symbol to typeSymbol/termSymbol 4. some fixes to lub opertation | ||||
* | updated check file | Martin Odersky | 2007-07-02 | 1 | -4/+4 |
| | |||||
* | fixed bug1183 | Martin Odersky | 2007-07-02 | 2 | -0/+55 |
| | |||||
* | fixed bug1170 | Martin Odersky | 2007-06-29 | 2 | -2/+64 |
| | |||||
* | fxied .check files for tcpoly | Martin Odersky | 2007-06-29 | 2 | -4/+4 |
| | |||||
* | Merged lazy values branch to trunk. | Iulian Dragos | 2007-06-27 | 2 | -0/+51 |
| | |||||
* | fixed bug1188 | Adriaan Moors | 2007-06-20 | 3 | -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 Odersky | 2007-06-19 | 2 | -111/+0 |
| | |||||
* | changed test files: bug1001 compiles now. | Martin Odersky | 2007-06-19 | 2 | -0/+13 |
| | |||||
* | fixed test file; fixed Long/Long bug | Martin Odersky | 2007-06-19 | 1 | -5/+15 |
| | |||||
* | more existentials | Martin Odersky | 2007-06-15 | 4 | -2/+30 |
| | |||||
* | Fixed structural subtyping to work when JVM 1.5... | Gilles Dubochet | 2007-06-06 | 2 | -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 Odersky | 2007-06-05 | 15 | -44/+11 |
| | | | | | Added existential types. | ||||
* | Capitalized type params in Predef, fixed bug in... | michelou | 2007-05-31 | 4 | -7/+7 |
| | | | | | Capitalized type params in Predef, fixed bug in URLZipArchive | ||||
* | (no commit message) | Lex Spoon | 2007-05-30 | 2 | -0/+10 |
| | |||||
* | added regression tests for bugs 1106 and 1136 | Adriaan Moors | 2007-05-30 | 2 | -0/+12 |
| | |||||
* | updated check file | Martin Odersky | 2007-05-19 | 1 | -1/+1 |
| | |||||
* | fixed bug1112 | Adriaan Moors | 2007-05-15 | 2 | -0/+18 |
| | |||||
* | fixed check file | Martin Odersky | 2007-05-01 | 1 | -4/+4 |
| | |||||
* | more additions to checknull. | Martin Odersky | 2007-05-01 | 2 | -0/+28 |
| | |||||
* | suppress "scala." prefix in string representati... | Adriaan Moors | 2007-04-19 | 27 | -63/+63 |
| | | | | | | suppress "scala." prefix in string representation of types (in error messages,..) | ||||
* | added test for bug #1041 | michelou | 2007-04-16 | 2 | -0/+12 |
| | |||||
* | implementing Martin's suggestions for tcpoly | Adriaan Moors | 2007-04-16 | 12 | -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 Odersky | 2007-04-13 | 2 | -2/+2 |
| | |||||
* | changes to parser for 409/877. | Martin Odersky | 2007-04-13 | 2 | -2/+2 |
| | |||||
* | updated check files | michelou | 2007-04-13 | 2 | -2/+2 |
| | |||||
* | check for variables in pattern alternatives; ch... | Martin Odersky | 2007-04-10 | 2 | -0/+12 |
| | | | | | | check for variables in pattern alternatives; changes to enable presupercall initialization. | ||||
* | adding test files from tcpoly branch without hi... | Adriaan Moors | 2007-04-06 | 20 | -0/+217 |
| | | | | | adding test files from tcpoly branch without history -- much faster this way, sorry |