summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* All tests passed... not counting scaladoc.Paul Phillips2012-02-041-21/+21
| | | | | | | Disabled failing scaladoc test rather than fixing it because they're too hard to fix, even though it is almost certainly a trivial output change. (The fact that I don't know for sure that it is a trivial output change is also suboptimal.)
* A couple more checkfiles and comments.Paul Phillips2012-02-042-2/+2
| | | | | | | I guess I have to suck up the "C with Object" here in order to get the "Array[T with Object]" I need in a different test. Now all tests pass for reals.
* Made a typer hack less hacky.Paul Phillips2012-02-041-4/+6
|
* Hardening in Constructors.Paul Phillips2012-02-041-2/+2
|
* A little msil I missed un-reverting.Paul Phillips2012-02-041-5/+4
|
* Removed now superfluous bootstrapper script.Paul Phillips2012-02-041-40/+0
|
* Hardened/documented AnyVal constructor switcheroo.Paul Phillips2012-02-042-0/+3
|
* Checkfile output update for AnyVal class.Paul Phillips2012-02-041-1/+4
| | | | And with that one, I believe all tests pass.
* Tweaking parent printing a little further.Paul Phillips2012-02-041-5/+14
| | | | Not too many Object/AnyRef parents, not too few.
* Fixing AnyVal verify error and reflection.Paul Phillips2012-02-041-2/+7
| | | | | | | | Have to give AnyVal a constructor and simultaneously pacify both the typer (which knows Any has no constructor) and the jvm (which mandates a constructor must call its superconstructor.) It's the usual angle of adding a not-quite-right tree during parsing and then finishing it later (in this case, in AddInterfaces.)
* Merge branch 'master' into topic/inlinePaul Phillips2012-02-044-16/+32
|\
| * Merge branch 'fix-script'Paul Phillips2012-02-041-13/+18
| |\ | | | | | | | | | | | | Conflicts: tools/get-scala-revision
| | * Establish more baseline tags.Paul Phillips2012-02-041-13/+18
| | | | | | | | | | | | So we can turn out a build string regardless of local conditions.
| | * Time-traveled get-scala-revision to 3-way merge base.Paul Phillips2012-02-041-16/+28
| | |
| * | An IntelliJ module for the root directory.Jason Zaugg2012-02-042-1/+12
| | | | | | | | | | | | This allows any file to be be edited, rather than just the ones under library, compiler, actors, ...
| * | Merge branch 'publish-fix'Paul Phillips2012-02-031-2/+2
| |\| | | | | | | | | | | | | Conflicts: tools/epfl-publish
| | * Fix 2.9.2 scaladoc replacing nightlies in jenkinsVlad Ureche2012-02-031-2/+2
| | |
| | * Injecting epfl-publish into merge-base.Paul Phillips2012-02-031-0/+32
| | |
* | | Fixed all but one of the scalap tests.Paul Phillips2012-02-0420-28/+26
| | |
* | | Restored msil.Paul Phillips2012-02-0412-371/+366
| | |
* | | Utilizing convenience methods martin hasn't discovered yet.Paul Phillips2012-02-041-7/+2
| | |
* | | Fixed specialized tests.Paul Phillips2012-02-041-1/+1
| | |
* | | Fixed scalacheck tests.Paul Phillips2012-02-041-1/+1
| | |
* | | Making AnyVal into a class instead of a trait.Paul Phillips2012-02-0411-41/+45
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | -- traits can extend Any, AnyRef, or AnyVal -- classes can extend AnyRef or AnyVal but not Any. This breaks reflection for the moment as it smuggles AnyVal so far downstream that it's reflecting its way into bytecode (or something) but the following test case goes five for six as anticipated. trait Foo1 extends Any trait Foo2 extends AnyVal trait Foo3 extends AnyRef class Bar1 extends Any // fail @inline class Bar2 extends AnyVal class Bar3 extends AnyRef Eliminated various hijinx from definitions.
* | | Simple test manipulating Any-derived traits.Paul Phillips2012-02-041-0/+16
| | |
* | | Having Proxy extend Any as well.Paul Phillips2012-02-041-3/+2
| | |
* | | Guard List_apply from premature forcitude.Paul Phillips2012-02-044-4/+7
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Solved the annotation cycle puzzle. Was being burned again by the hack which preferentially treats List() as Nil to avoid List's extractor. This commit includes a new starr which fully bootstraps. Also at this point traits can extend Any and will not be given an AnyRef parent (until erasure.) This is the case for AnyVal and NotNull.
* | | Made Any parents work more.Paul Phillips2012-02-0410-67/+91
| | | | | | | | | | | | Working on type printing logic.
* | | Updated checkfiles to subtract ScalaObject.Paul Phillips2012-02-0418-37/+26
| | |
* | | Updated bootstrap script.Paul Phillips2012-02-041-14/+20
| | |
* | | ant and diff friendlier msil-disabling.Paul Phillips2012-02-046-3564/+3570
| | |
* | | Temporary bootstrapper script.Paul Phillips2012-02-031-0/+34
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Working around new cycle arising when reading annotations from classfiles. Run ./bootstrapper.sh and it will blow away ./build and perform the necessary gyrations and incantations. I wonder if this is what that old gypsy woman meant when she whispered almost inaudibly "The ghost of ScalaObject will haunt this repository... forever... forever... forever..."
* | | New shas for bootstrap libs.Paul Phillips2012-02-033-3/+3
| | | | | | | | | | | | | | | Free at last, free at last, of ScalaObject we're free at last. (With apologies to the Reverend, but the man had a way with words.)
* | | Disabled all things MSIL.Paul Phillips2012-02-0312-3848/+3848
| | | | | | | | | | | | It's a huge drag when making fundamental changes.
* | | Eliminated ScalaObject.Paul Phillips2012-02-036-8/+23
| | | | | | | | | | | | "This too shall pass."
* | | Merge branch 'master' into topic/inlinePaul Phillips2012-02-036-10/+30
|\| |
| * | Updated and added some runners.Paul Phillips2012-02-036-10/+30
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Easier ways to invoke scala/scalac based on starr, locker, or quick. % tools/starr_scalac -version Scala compiler version 2.10.0.r26060-b20111123092602 -- Copyright 2002-2011, LAMP/EPFL % tools/locker_scalac -version Scala compiler version v2.10.0-M1-0140-g4619a48c1e-2012-02-02 -- Copyright 2002-2011, LAMP/EPFL % tools/quick_scalac -version Scala compiler version v2.10.0-M1-0144-g0c59a25a81-2012-02-02 -- Copyright 2002-2011, LAMP/EPFL
* | | Mostly eliminated ScalaObject.Paul Phillips2012-02-0322-61/+19
| | |
* | | Merge branch 'master' into topic/inlinePaul Phillips2012-02-03156-944/+1902
|\| |
| * | Restored build.number.Paul Phillips2012-02-031-0/+5
| | | | | | | | | | | | | | | | | | | | | As it is apparently used by maven. We're now at a local minimum of sensibility for the construction of build strings, but the good thing about local minima is that one can reasonably anticipate an upward climb. Or at least flatlining.
| * | Updated Flags toString/documentation.Paul Phillips2012-02-029-36/+36
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | In a stunningly unusual demonstration of farsightedness, I was able to generate these changes only by running: scala scala.tools.nsc.util.FlagsUtilCompiler With this much time in between runs: -// Generated by mkFlagsTable() at Mon Oct 11 10:01:09 PDT 2010 +// Generated by mkFlagsTable() at Thu Feb 02 20:31:52 PST 2012
| * | Cleanups in classfile parser symbol creation.Paul Phillips2012-02-021-18/+18
| | |
| * | Misc optimizations with zip.Paul Phillips2012-02-023-6/+3
| | |
| * | Create a reference tag if none exists.Paul Phillips2012-02-021-2/+11
| | |
| * | Merge commit 'c58b240' into developPaul Phillips2012-02-026-644/+697
| |\ \
| | * | [vpm] factored out optimizing codegenAdriaan Moors2012-02-022-472/+500
| | | |
| | * | [vpm] __match determines match semantics; virtualizationAdriaan Moors2012-02-025-245/+252
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | determine match strategy by typing `__match` factored out the interface to generate code in this monad, cleaned up codegen a bit no longer solving a context bound to determine the match strategy and the monad's type constructor it's too expensive don't consider implicits looking for __match implicit search causes HUGE slowdowns -- now the overhead is about 4% compared to just assuming there's no __match in scope to support virtualization&staging, we use the type of `__match.one` as the prototype for how to wrap "pure" types and types "in the monad" pure types T are wrapped as P[T], and T goes into the monad as M[T], if one is defined as: def one[T](x: P[T]): M[T] for staging, P will typically be the Rep type constructor, and type M[T] = Rep[Option[T]] furthermore, naive codegen no longer supplies type information -- type inference will have to work it out optimized codegen still does, of course, and that's enough since we only bootstrap that way TODO: improve the test (currently the condition is not represented)
| | * | [vpm] factored out reusing treemakers (used by CSE)Adriaan Moors2012-02-021-110/+128
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | before, we were mutating treemakers in-place when they were reused no more mutation, and CSE is now self-contained interestingly, we were considering all FunTreeMakers as potentially reused, but only CondTreeMakers ever did anything with that flag should be clearer now that only those are ever reused simplified substonly treemaker a bit overall cleanup to prepare for switching to new-style detection of MatchStrategy delaying wrapping in function to simplify optimizing codegen logic
| | | |
| | \ \
| | \ \
| | \ \
| *---. \ \ Merge branch 'master', remote-tracking branches ↵Paul Phillips2012-02-0275-100/+473
| |\ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | 'scalamacros/pullrequest/reify' and 'hubertp/issue/fix-sbt-build' into develop
| | | | * | | Fix sbt build with trunk.Hubert Plociniczak2012-02-022-4/+10
| | | | |/ / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This was tricky to find as HLists and multiple chains of implicits are definitely not fun to debug. Reporting ambiguous errors is influenced by the general error reporting, don't look for implicit arguments if any of the preceding ones failed (kills performance, causes diverging implicits with HLists). Previously throwing type errors handled that correctly but now we don't do that. Fixed small but essential typo when typing implicit. Review by @dragos