summaryrefslogtreecommitdiff
path: root/src/compiler
Commit message (Collapse)AuthorAgeFilesLines
* Fixed #2429.Martin Odersky2009-10-213-3/+9
|
* Added some info to a tripping assertion.Paul Phillips2009-10-211-2/+2
|
* renamed BuilderFactory[El, To, From] -> CanBuil...Adriaan Moors2009-10-211-1/+1
| | | | | | | | | | | | | | | | | | | | | renamed BuilderFactory[El, To, From] -> CanBuildFrom[From, El, To] and added apply() overload to create collections from scratch generically added def apply() overload to BuilderFactory so that we can also create collections from scratch generically (see test test/files/pos/collectGenericCC.scala) renaming: - BuilderFactory[El, To, From] -> CanBuildFrom[From, El, To] bulk type-param reordering using: s/CanBuildFrom\[\s*([^,()\s]*)\s*,(\s+[^\s,()]*)\s*,\s+([^\s,()]*)\s*\]/CanBuildFrom[$3, $1,$2]/ some argument lists got mixed up because they contained 4 comma's... - builderFactory -> canBuildFrom removed explicit implicit value in DocDriver that was renamed renamed collection/generic/BuilderFactory.scala -> collection/generic/CanBuildFrom.scala tested with clean build using ant strap.done -- everything went well on my machine
* Made Platform methods inlineable and allow the ...Iulian Dragos2009-10-211-1/+2
| | | | | | Made Platform methods inlineable and allow the optimiser to load code for methods that have the @inline attribute
* Implementation of martin's suggested fix for #1...Paul Phillips2009-10-201-6/+15
| | | | | Implementation of martin's suggested fix for #1503.
* Some reworking of command line option parsing b...Paul Phillips2009-10-202-62/+61
| | | | | | | | | | | | | | Some reworking of command line option parsing because it was not possible to say scala -i include1.scala include2.scala -e 'code to execute' and it should be. And now it is. This required changing MultiStringSetting to only accept arguments until it runs into one starting with '-' rather than blindly swallowing all the rest of the command line as it used to, which was terribly unfriendly parsing behavior regardless.
* Relaxing a check for ticket #2486, plus test case.Paul Phillips2009-10-191-5/+17
| | | | | | proposing this as the long-term fix (unless by some miracle it is the right fix, in which case good for me.)
* A new and better fix for ticket #1373.Paul Phillips2009-10-195-35/+67
|
* Fix and test for #1674; we aren't supposed to b...Miles Sabin2009-10-194-3/+8
| | | | | | | Fix and test for #1674; we aren't supposed to be validating positions if there are syntax errors ... ensure that's so; we are supposed to be validating positions when -Yide-debug is set ... ensure that's so.
* Fix for #1687.Paul Phillips2009-10-171-1/+4
|
* Fix and test cases for ticket #443.Paul Phillips2009-10-172-8/+4
| | | | | | | flags on AnyVal from FINAL|SEALED to ABSTRACT|SEALED. This appears correct and without ill effect, but if anyone spots new anyval oddness you know where to look.
* Expanded shadowing warnings to include block st...Paul Phillips2009-10-161-10/+46
| | | | | | Expanded shadowing warnings to include block statements, and cleaned it up a ways.
* Created -Xstrict-warnings and got the ball roll...Paul Phillips2009-10-162-25/+49
| | | | | | | Created -Xstrict-warnings and got the ball rolling with an attempt at spotting variable shadowing. Has to get less noisy but plenty useful as-is.
* moved Range and GenericRange to collection.immu...Martin Odersky2009-10-163-2/+23
| | | | | | | moved Range and GenericRange to collection.immutable, with alias for Range in scala package object; made Range strict. moved from filter to withFilter in translation for for expressions.
* Fix for #2467.Paul Phillips2009-10-161-2/+3
|
* Removed long dead AST Node Sequence.Paul Phillips2009-10-1514-93/+18
| | | | | | | | detritus from regular expression patterns, but Star still depends on REGPATmode existing -- nothing checks for that mode specifically, but not having it set causes failure. So it is renamed to STARmode.
* Scaladoc comment position fixes with tests; sca...Miles Sabin2009-10-145-18/+54
| | | | | | | Scaladoc comment position fixes with tests; scaladoc comment postions are now accessible by symbol; respond retry in interactive Global is now handled properly.
* A hard fought distillation of sequence patterns.Paul Phillips2009-10-142-136/+107
| | | | | | I can fix #1697 without making other things break (fix not included but should be forthcoming.)
* Fixed stability issues for the optimised build,...Iulian Dragos2009-10-142-8/+8
| | | | | Fixed stability issues for the optimised build, this time for real.
* You might think someone would eventually weary ...Paul Phillips2009-10-132-20/+63
| | | | | | | You might think someone would eventually weary of polishing the debugging code, but there comes a point when it seems like the lesser evil.
* Yet more tracing code.Paul Phillips2009-10-135-29/+81
|
* Yet more code for scrutinizing the pattern matc...Paul Phillips2009-10-137-51/+70
| | | | | | Yet more code for scrutinizing the pattern matcher, and a couple minor duplication/dead-code cleanups seen elsewhere.
* Fixed #2422 abd #2461Martin Odersky2009-10-134-7/+13
|
* Fixed #2444Martin Odersky2009-10-121-6/+12
|
* Fixed #2099.Martin Odersky2009-10-121-1/+5
|
* reverted immutable.Vector because it gave rando...Martin Odersky2009-10-122-9/+27
| | | | | | reverted immutable.Vector because it gave random build errors on my machine. Fixed various tickets, updated test and check files.
* Taking a first crack at straightening out MixTy...Paul Phillips2009-10-122-106/+60
| | | | | Taking a first crack at straightening out MixTypes.
* Renamed definedVars to deepBoundVariables.Paul Phillips2009-10-127-45/+68
| | | | | tracing code for the long haul.
* Added the concepts of "necessary type" and "suf...Paul Phillips2009-10-113-13/+21
| | | | | | Added the concepts of "necessary type" and "sufficient type" to Pattern to assist in creating sensible matching logic.
* Further iteration related to patterns and bindi...Paul Phillips2009-10-113-46/+68
| | | | | Further iteration related to patterns and bindings.
* More transitioning bindings to pattern vars.Paul Phillips2009-10-113-40/+41
|
* Created PatternVarGroup to hold a sequence of p...Paul Phillips2009-10-112-65/+86
| | | | | | | Created PatternVarGroup to hold a sequence of patternvars. Soon all the variable binding code will be swallowed and each action related to variables will happen at one location only.
* In the same way that raw Trees are giving way t...Paul Phillips2009-10-114-83/+88
| | | | | | | | | In the same way that raw Trees are giving way to Patterns, raw Symbols (and accompanying ValDef trees) are being replaced by PatternVars. Once these are both used consistently a number of bugs will vanish with a puff of smoke, as they are caused by inconsistencies which need not ever be allowed to occur.
* Improving tracing output, and more code organiz...Paul Phillips2009-10-117-151/+185
| | | | | | Improving tracing output, and more code organization to hide the uninteresting bits.
* Finished the additions to RuleApplication.Paul Phillips2009-10-103-47/+47
| | | | | | | | | | bits into the SequencePattern class, which took me an eternity because the current logic only worked because of bugs in the pattern matcher which allowed a non-matching case to match anyway. Trust me, you do not want to debug that sort of thing. I wonder how much of the compiler would stop working if I magically fixed all the matcher bugs at once, and long dormant logic suddenly lurched to life...
* Further centralized all temporary variable crea...Paul Phillips2009-10-103-90/+79
| | | | | | | | Further centralized all temporary variable creation. Tracked down multiple places where var allocation and assignment had been fragilely divorced and arranged for reconciliation. Almost have every Rule using the cond/success/failure interface.
* Starting the process of properly encapsulating ...Paul Phillips2009-10-103-49/+82
| | | | | | Starting the process of properly encapsulating the temporary variables created during pattern match translation.
* Breaking down the matcher's various Mix* classe...Paul Phillips2009-10-092-67/+60
| | | | | | Breaking down the matcher's various Mix* classes into direct expressions of condition/success/failure.
* Don't fold List.apply() to Nil in presentation ...Miles Sabin2009-10-091-1/+1
| | | | | Don't fold List.apply() to Nil in presentation mode.
* Amazing how much code becomes unnecessary when ...Paul Phillips2009-10-092-104/+117
| | | | | | | Amazing how much code becomes unnecessary when you use immutable data wherever you can. Continuing to break down the last few environments inside the pattern matcher which bugs find hospitable.
* merging msil (r19001) compiler changes to trunkLukas Rytz2009-10-092-2/+8
|
* Moved yet more stuff out of ParallelMatching, a...Paul Phillips2009-10-084-193/+213
| | | | | | | Moved yet more stuff out of ParallelMatching, and began the painful process of peeling away the variable bindings code far enough to see what is going wrong down there.
* Make the positions of the children of an Import...Miles Sabin2009-10-081-0/+2
| | | | | | | Make the positions of the children of an Import transparent so that the interactive compiler will always find the Import rather than the children.
* Reworked exhaustiveness checking yet further, a...Paul Phillips2009-10-084-117/+145
| | | | | | Reworked exhaustiveness checking yet further, and moved it and some other pieces into their own file.
* 1) Removed a bunch of unnecessary calls to the ...Paul Phillips2009-10-084-93/+77
| | | | | | | 1) Removed a bunch of unnecessary calls to the typer. 2) Reworked exhaustiveness checking so I can tell what it's doing. 3) Cruft falls away left, right, and center.
* Definite fix for #2060; fix for #2392.Martin Odersky2009-10-083-34/+55
| | | | | Added aliases for Vector and Traversable to scala package object.
* Renamed identifier pats to pmatch to reduce amb...Paul Phillips2009-10-082-45/+54
| | | | | | | | | Renamed identifier pats to pmatch to reduce ambiguity, and implemented generic precondition machinery for testing whether a pattern should even be attempted. This is like a complement to guards (though not user expressable) and is a key to fixing some of the longer standing matcher bugs.
* Switched to using .narrow where possible instea...Paul Phillips2009-10-083-18/+19
| | | | | | Switched to using .narrow where possible instead of constructing singleton types by hand.
* Fixed #2425Martin Odersky2009-10-082-6/+10
|
* Finishing up a bit of treegen I had left in mid...Paul Phillips2009-10-081-23/+20
| | | | | Finishing up a bit of treegen I had left in mid-refactor.