summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* virtpatmat on by default; chicken out: -XoldpatmatAdriaan Moors2012-04-1470-197/+248
| | | | | | | some tests (unreachability, exhaustivity, @switch annotation checking) are still run under -Xoldpatmat, but that will change before we go into RC mode (then the test/ partest of this commit will be reverted) removed irrelevant dependency on patmat
* virtpatmat: initial CPS supportAdriaan Moors2012-04-145-93/+137
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | typers&patmatvirtualizer have ad-hoc support for dropping annotations in a way that makes the CPS plugins happy... this is not ideal, but unless virtpatmat runs after the plugin phases, I don't see how to solve it running virtpatmat after the CPS plugin would mean the pattern matching evaluation cannot be captured by CPS, so it's not even desirable to move it to a later phase - typedIf must lub annotated types - drop selector.tpe's annotations - drop annots in matchEnd's argument type - deal with annots in casts synth by in virtpatmat (drop them from type arg to asInstanceof, recover them using type ascription) - workaround skolemize existential dropping annots CPS is the main reason why typedMatchAnonFun is not used anymore, and PartialFunction synthesis is moved back to uncurry (which is quite painful due to labeldefs being so broken) we can't synth partialfunction during typer since T @cps[U] does not conform to Any, so we can't pass it as a type arg to PartialFunction, so we can't type a cps-transformed PF after the CPS plugin, T @cps[U] becomes ControlContext[...], which is a type we can pass to PartialFunction virtpatmat is now also run until right before uncurry (so, can't use isPastTyper, although it means more or less the same thing -- we don't run after uncurry) the main functional improvements are in the selective ANF transform its treatment of labeldefs was broken: for example, LabelDef L1; LabelDef L2 --> DefDef L1; L1(); DefDef L2; L2() but this does not take into account L1 may jump over L2 to another label since methods always return (or fail), and the ANF transform generates ValDefs to store the result of those method calls, both L1 and L2 would always be executed (so you would run a match with N cases N times, with each partial run starting at a later case) also fixed a couple of weird bugs in selective anf that caused matches to be duplicated (with the duplicate being nested in the original) since label defs are turned into method defs, and later defs will be nested in the flatMap calls on the controlcontext yielded by earlier statements, we reverse the list of method definitions, so that earlier (in the control flow sense) methods are visible in later ones selective CPS now generates a catch that's directly digestible by backend
* wip: put skeleton for typetag-based typetests in placeAdriaan Moors2012-04-143-7/+78
|
* more prudent bridging to unapply[Seq]Adriaan Moors2012-04-143-10/+50
| | | | | | | | | since we can't statically know whether the unapply we'll be bridging to is synthetic, drop this condition, and do pessimistic bridging for all unapply[Seq] (i.e., if we can't statically guarantee the type that would be assumed to be safe to cast to by a synthetic extractor, do the type test and return None if it fails)
* synth PartialFunction in uncurryAdriaan Moors2012-04-146-99/+194
| | | | | | | | | | | | | | | | | | | | due to interaction with the CPS plugin, can't synth PartialFun during typer (the types don't work out: in PartialFun[T, U @cps[V]], U @cps[V] does not conform to Any, and we can't move the annot from the type arg directly to applyOrElse's result, since then it won't override anything) thus, we face the pain of mangling labeldefs again resetLocalAttrsKeepLabels can't use leaveAlone don't cast matcherror throw, uncurry gets confused uncurry: cast selector valdef's rhs to avoid skolem mismatch NOTE: I'm not happy about this code, but I don't know how to make the clean way (typedMatchAnonFun) compatible with the CPS plugin one avenue to explor would be to introduce PartialFunCPS, which is transformed into a regular PartialFun when T @cps[U] is turned into ControlContext[T, U]
* cleanup in refchecksAdriaan Moors2012-04-141-1/+2
|
* print labeldef's parameter typesAdriaan Moors2012-04-141-1/+11
|
* Merge commit 'refs/pull/395/head'Paul Phillips2012-04-148-4/+8
|\
| * disabling scaladoc tests. Don't know how to fix them to make them work under ↵Martin Odersky2012-04-138-4/+8
| | | | | | | | SIP 18.
| * one more macro test sdisabled that lipped through the net before.Martin Odersky2012-04-133-0/+0
| |
* | One more macro test to disable for SIP 18.Paul Phillips2012-04-143-0/+0
| |
| |
| \
*-. \ Merge commit 'refs/pull/389/head'; commit 'refs/pull/393/head' into developPaul Phillips2012-04-1414-16/+407
|\ \ \ | |_|/ |/| |
| | * DynamicProxy: improved docs, fixed EOL styleChristopher Vogt2012-04-144-160/+167
| | |
| | * implemented DynamicProxy as portrayed by the Scala reflection teamChristopher Vogt2012-04-145-2/+162
| | |
| * | rule out sequence arg to applyDynamicAdriaan Moors2012-04-135-7/+38
| | |
| * | implement SIP Type DynamicAdriaan Moors2012-04-136-14/+207
| | |
* | | disabled failing macro test; needs to be adapted to new scheme.Martin Odersky2012-04-134-0/+0
| | |
* | | Disabled macro neg tests that no longer make sense in this formMartin Odersky2012-04-1351-0/+0
| | |
* | | Merge branch 'master' into topic/sip18Martin Odersky2012-04-13154-866/+3028
|\ \ \
| * | | Renamed seven files.Paul Phillips2012-04-137-0/+0
| | |/ | |/| | | | | | | | | | Hey everyone, if classnames don't match filenames, ant will recompile said file on every run until the end of time. Still here, ant is.
| * | Small cleanup in typeref toStringPaul Phillips2012-04-131-4/+4
| | |
| * | Touching the untouchable.Paul Phillips2012-04-132-25/+54
| | | | | | | | | | | | | | | extempore thinks polymorphism beats boolean constructor parameters any day of the week.
| | |
| | \
| *-. \ Merge commit 'refs/pull/385/head'; commit 'refs/pull/386/head' into developPaul Phillips2012-04-1343-434/+2184
| |\ \ \ | | | |/ | | |/|
| | | * Scaladoc feature that shows implicit conversionsVlad Ureche2012-04-1341-263/+2001
| | | | | | | | | | | | | | | | | | | | | | | | | | | | See https://github.com/VladUreche/scala/tree/feature/doc-implicits for the history. See https://scala-webapps.epfl.ch/jenkins/view/scaladoc/job/scaladoc-implicits-nightly/ for nightlies. Many thanks fly out to Adriaan for his help with implicit search!
| | * | performance counters for macros expansionsEugene Burmako2012-04-132-171/+183
| | | |
| * | | Portability changes to binary-repo-lib.sh.Paul Phillips2012-04-131-2/+8
| | | |
| * | | Introducing some whitespace before colons.Paul Phillips2012-04-132-17/+5
| | |/ | |/| | | | | | | Maybe helping -Xcheckinit along too.
| * | Fixes https://scala-webapps.epfl.ch/jenkins/job/scala-checkin-rangpos/404/Eugene Burmako2012-04-131-2/+1
| |/
| * Fix for failing test.Paul Phillips2012-04-131-2/+2
| |
| * Merge commit 'refs/pull/383/head' into developPaul Phillips2012-04-139-76/+133
| |\
| | * Add managed blockers to execution contexts.aleksandar2012-04-131-1/+17
| | |
| | * Fixing a failing test.aleksandar2012-04-122-22/+20
| | |
| | * Making changes in the scala.concurrent package.aleksandar2012-04-127-53/+96
| | |
| * | Merge commit 'refs/pull/376/head' into developPaul Phillips2012-04-134-110/+121
| |\ \
| | * | Moving Duration DSL to a separate package.Vojin Jovanovic2012-04-124-110/+121
| | | | | | | | | | | | | | | | | | | | | | | | Reverting to Java 6 time units. Review by: @phaller
| | | |
| | \ \
| *-. \ \ Merge commit 'refs/pull/380/head'; commit 'refs/pull/381/head' into developPaul Phillips2012-04-134-11/+78
| |\ \ \ \
| | | * | | SI-5510: string interpolation: parser no longer hangs on unclosed stringDominik Gruntz2012-04-133-2/+34
| | | | | |
| | * | | | Cache consistency checks for starr binary repo.Josh Suereth2012-04-121-9/+44
| | |/ / /
| * | | | Merge pull request #277 from VladUreche/hack/spaces-scriptJosh Suereth2012-04-122-0/+135
| |\ \ \ \ | | | | | | | | | | | | Space/Tab cleanup script - run before committing
| | * | | | Space/Tab cleanup script - run before committingVlad Ureche2012-03-162-0/+135
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Running this script will transform tabs into a pair of spaces and will eliminate trailing spaces. Use at your own risk!
| * | | | | Adjustment to recent fix.Paul Phillips2012-04-131-5/+3
| | | | | | | | | | | | | | | | | | | | | | | | Try not to break files/specialized/spec-hlists.scala along the way.
| * | | | | Merge commit 'refs/pull/379/head'Paul Phillips2012-04-122-2/+2
| |\ \ \ \ \
| | * | | | | fixes petty macro testsEugene Burmako2012-04-122-2/+2
| | | | | | |
| * | | | | | Workaround for SI-5657.Paul Phillips2012-04-123-0/+18
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Changes to error handling have had unfortunate effects on the repl. Disabling things which used to work to suppress new failures.
| * | | | | | Workaround for SI-5583.Paul Phillips2012-04-123-7/+46
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Somehow type args to be applied arrive in the specialized subclass where type args are no longer applicable. Log and discard.
| * | | | | | Fix for SI-5535.Paul Phillips2012-04-123-1/+31
| |/ / / / /
| * | | | | fixes petty macro testsEugene Burmako2012-04-1273-196/+230
| | | | | |
| * | | | | Reconfigure build.xml so -Xmacros isn't lost.Paul Phillips2012-04-121-2/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | For future reference, -Dscalac.args is how unknown things pass arbitrary parameters to scalac, so you don't want to put anything there you don't expect to lose.
* | | | | | Fixed tests to account for SIP 18Martin Odersky2012-04-1317-470/+492
| | | | | |
* | | | | | Fine-tuning of isRepresentableWithWildcards and wildcard printing.Martin Odersky2012-04-132-21/+22
| | | | | |
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-16 06:02:33 +0000