summaryrefslogtreecommitdiff
path: root/src/compiler
Commit message (Collapse)AuthorAgeFilesLines
* 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.
* Mostly, a pile of pattern matcher tracing code.Paul Phillips2009-10-074-123/+165
|
* Retains Import nodes until the typers phase so ...Miles Sabin2009-10-0710-51/+79
| | | | | | | Retains Import nodes until the typers phase so that they are available to interactive compiler clients and other AST users. Adds position information to imported names and renames.
* Fixed #1000, #2060Martin Odersky2009-10-075-67/+157
|
* More revealing error message for the crasher in...Paul Phillips2009-10-071-4/+9
| | | | | More revealing error message for the crasher in #2433.
* "Fix" and test case for #1333.Paul Phillips2009-10-071-2/+7
|
* Getting variable binding bits into appropriate ...Paul Phillips2009-10-075-147/+124
| | | | | | Getting variable binding bits into appropriate places. Waved goodbye to PatternNodes.
* Pattern matcher starting to look like code you ...Paul Phillips2009-10-062-86/+122
| | | | | | Pattern matcher starting to look like code you might take home to meet your parents.
* Exceptions are part of the protocol between the...Miles Sabin2009-10-061-3/+10
| | | | | | Exceptions are part of the protocol between the interactive compiler and its clients, so ensure that none are lost.
* Debugging code - pattern matcher activity tracing.Paul Phillips2009-10-063-52/+79
|
* Fixed stability issues for optimisedIulian Dragos2009-10-064-9/+14
|
* Patch from Mirko Stoker to add comment nodes to...Miles Sabin2009-10-062-28/+51
| | | | | | | Patch from Mirko Stoker to add comment nodes to compilation units allowing access to comment contents and positions for all tools which use the Scala AST.
* fixed #2421: checkBounds in typedImplicit0 to f...Adriaan Moors2009-10-061-0/+1
| | | | | | fixed #2421: checkBounds in typedImplicit0 to filter out implicit searchresults that result in nonsenical type instantiations
* Another day of pattern matcher work.Paul Phillips2009-10-063-164/+175
| | | | | | | by accident as I go - I just noticed #2175 is working. That's even better than fixing them on purpose, in the same way that "money won is twice as sweet as money earned."
* BuildManagers weren't deleting invalidated clas...Miles Sabin2009-10-054-6/+31
| | | | | | | | | BuildManagers weren't deleting invalidated classfiles; dependency tracker was only recording the dependency of Foo$.class on the source of object Foo ... Foo.class is now also recorded; the Eclipse Java builder could copy modified Scala sources to the output folder during incremental builds. Fixes #2428.
* More run of the mill pattern matcher work.Paul Phillips2009-10-055-157/+160
| | | | | | | to enjoy it when I no longer have to work around bugs in the pattern matcher while implementing the pattern matcher. Metacircularity: more fun applied to features than to bugs!
* Inching some more complicated and confusingly r...Paul Phillips2009-10-043-41/+89
| | | | | | Inching some more complicated and confusingly redundant bits toward pattern classes.
* Reaping the spoils of patternization.Paul Phillips2009-10-034-204/+109
| | | | | | or obsolete code now that I'm gaining some confidence about what exists for a reason and what exists only because it once existed.
* Moving pattern related logic into Patterns and ...Paul Phillips2009-10-032-50/+46
| | | | | | Moving pattern related logic into Patterns and type related logic into MixTypes.
* Enhanced the previous string length fix to work...Paul Phillips2009-10-032-4/+20
| | | | | | | | Enhanced the previous string length fix to work, and made it possible to enable/disable deprecation warnings on the fly in the repl, like so: settings.deprecation = true
* Raised maxPrintString for repl output.Paul Phillips2009-10-031-1/+1
|
* Applied patch for #2306 ... thanks!Miles Sabin2009-10-031-0/+2
|
* (Partial?) fix for #2289.Miles Sabin2009-10-031-0/+1
|
* Pattern Matcher Productions is pleased to annou...Paul Phillips2009-10-034-81/+48
| | | | | | | | Pattern Matcher Productions is pleased to announce, for what might be the first time ever, the thrilling arrival of... Polly Morphism! (Cue arena music) Now that the basic pattern variations are straitjacketed I can corral the strays.
* Some trees make a nice smooth transition into a...Paul Phillips2009-10-023-100/+165
| | | | | | Some trees make a nice smooth transition into a Pattern class, others fight tooth and nail. Partway there.
* Fixed out-of-date debug lineMartin Odersky2009-10-021-1/+1
|
* Sequence->SeqMartin Odersky2009-10-028-8/+10
|
* Commented out some position assertions which ar...Paul Phillips2009-10-021-2/+6
| | | | | Commented out some position assertions which are crashing valid code.
* Bit by bit, the ad hoc tests and transformation...Paul Phillips2009-10-026-41/+75
| | | | | | | Bit by bit, the ad hoc tests and transformations on Trees will make their way into a Pattern subclass specifically designed for the intended semantics.
* Fixed #1939,plus some moving things around.Martin Odersky2009-10-025-41/+50
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-09 05:36:32 +0000