summaryrefslogtreecommitdiff
path: root/test/pending/run
Commit message (Collapse)AuthorAgeFilesLines
* macros: -Xmacros is now retiredEugene Burmako2012-06-0811-11/+11
|
* Orphan checkfile remover.Paul Phillips2012-05-263-6/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Are these -msil checkfiles used in some secret fashion? The level of activity suggest otherwise. Since scala-nightly-msil has been disabled for over a year, it's an easy rm unless someone speaks up. % tools/rm-orphan-checkfiles Scanning for orphan check files... rm 'test/disabled/run/code.check' rm 'test/files/jvm/t1652.check' rm 'test/files/neg/macro-argtype-mismatch.check' rm 'test/files/neg/macro-noncompilertree.check' rm 'test/files/neg/macro-nontree.check' rm 'test/files/run/Course-2002-01-msil.check' rm 'test/files/run/Course-2002-02-msil.check' rm 'test/files/run/Course-2002-03-msil.check' rm 'test/files/run/Course-2002-04-msil.check' rm 'test/files/run/Course-2002-08-msil.check' rm 'test/files/run/Course-2002-09-msil.check' rm 'test/files/run/Course-2002-10-msil.check' rm 'test/files/run/absoverride-msil.check' rm 'test/files/run/bitsets-msil.check' rm 'test/files/run/boolord-msil.check' rm 'test/files/run/bugs-msil.check' rm 'test/files/run/impconvtimes-msil.check' rm 'test/files/run/infix-msil.check' rm 'test/files/run/iq-msil.check' rm 'test/files/run/macro-invalidret-doesnt-conform-to-impl-rettype.check' rm 'test/files/run/macro-rettype-mismatch.check' rm 'test/files/run/misc-msil.check' rm 'test/files/run/promotion-msil.check' rm 'test/files/run/richs-msil.check' rm 'test/files/run/runtime-msil.check' rm 'test/files/run/tuples-msil.check' rm 'test/pending/jvm/t1464.check' rm 'test/pending/run/subarray.check' rm 'test/pending/run/t0446.check' rm 'test/pending/run/t5629.check' Scanning for orphan flags files... rm 'test/files/neg/macro-argtype-mismatch.flags' rm 'test/files/neg/macro-noncompilertree.flags' rm 'test/files/neg/macro-nontree.flags' rm 'test/files/pos/anyval-children.flags' rm 'test/files/pos/t3097.flags' rm 'test/files/run/macro-invalidret-doesnt-conform-to-impl-rettype.flags' rm 'test/files/run/macro-rettype-mismatch.flags'
* Pending and passing tests.Paul Phillips2012-05-232-0/+44
| | | | | | | | Move now-passing SI-963 test into neg. Test for partial specialization. Pending test for SI-5008. Pending test for SI-4649. Abstract array type test.
* Pending test for SI-3899.Jason Zaugg2012-05-203-0/+39
| | | | | | The super accessor for the Java varargs method impedes Uncurry's efforts to convert repeated arguments to an Array. I'm not sure how to fix that.
*-. Merge commit 'refs/pull/547/head'; commit 'refs/pull/548/head'; commit ↵Paul Phillips2012-05-142-26/+0
|\ \ | | | | | | | | | 'refs/pull/549/head'; commit 'refs/pull/550/head'; commit 'refs/pull/551/head' into develop
| | * Better fix for SI-5676. Review by @paulpHubert Plociniczak2012-05-142-26/+0
| |/
* / Removing redunant/passing tests from pending.Paul Phillips2012-05-102-35/+0
|/
*---------. Merge remote-tracking branches 'scalamacros/ticket/5722', ↵Paul Phillips2012-05-0710-0/+103
|\ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | 'scalamacros/ticket/5726', 'scalamacros/ticket/5610', 'scalamacros/ticket/5654', 'scalamacros/ticket/5521', 'scalamacros/ticket/5585', 'scalamacros/ticket/5503', 'scalamacros/ticket/4728', 'scalamacros/ticket/5534' and 'scalamacros/ticket/4560'
| | | | | | * test for SI-4560Eugene Burmako2012-05-081-0/+9
| | | | | |/ | | | | |/|
| | | | | * test for SI-4728Eugene Burmako2012-05-082-0/+13
| | | | |/
| | | * / test for SI-5610Eugene Burmako2012-05-084-0/+42
| | | |/
| | * / tests for SI-5726Eugene Burmako2012-05-072-0/+33
| | |/
| * / test for SI-5722Eugene Burmako2012-05-071-0/+6
| |/
* / Add test for t5695 in pending/runphaller2012-05-073-0/+22
|/
*-. Merge commit 'refs/pull/471/head'; commit 'refs/pull/473/head'; commit ↵Paul Phillips2012-05-042-69/+0
|\ \ | | | | | | | | | 'refs/pull/474/head'; commit 'refs/pull/475/head'; commit 'refs/pull/476/head' into develop
| | * Fixes SI-5514.Aleksandar Prokopec2012-05-041-35/+0
| |/ |/| | | | | | | | | The acceptIf and acceptMatch parsers now check for end of input. Review by moors.
| * Fix for si-5018.Aleksandar Prokopec2012-05-041-34/+0
|/ | | | Methods keySet, values and withDefault now return serializable collections.
* Moved passing tests from pending to files.Paul Phillips2012-05-0311-299/+0
| | | | | | | | Most are pattern matcher bugs fixed by virtpatmat. A few are reifier, package object, or miscellaneous. I threw in an original test for SI-2337, to go with those for SI-1697, SI-3705, SI-4415, and SI-1357, all of which (in the interests of making sure this basket has all the eggs) I am closing.
* Pending test for si-5514Aleksandar Prokopec2012-05-021-0/+35
|
* Pending test for si-5676.Aleksandar Prokopec2012-05-022-0/+26
|
* Add pending test for si-5698.Aleksandar Prokopec2012-05-023-0/+36
|
* Add pending test for SI-5018.Aleksandar Prokopec2012-05-021-0/+34
|
* diagnostics for SI-5692Eugene Burmako2012-04-253-0/+14
|
* minor fixes to reificationEugene Burmako2012-04-239-28/+6
|
* assorted stability fixesEugene Burmako2012-04-174-0/+23
|
* GroundTypeTag => ConcreteTypeTagEugene Burmako2012-04-121-3/+3
|
* Next generation of macrosEugene Burmako2012-04-1281-240/+395
| | | | | | | | | | | | | | | | | | | | | | Implements SIP 16: Self-cleaning macros: http://bit.ly/wjjXTZ Features: * Macro defs * Reification * Type tags * Manifests aliased to type tags * Extended reflection API * Several hundred tests * 1111 changed files Not yet implemented: * Reification of refined types * Expr.value splicing * Named and default macro expansions * Intricacies of interaction between macros and implicits * Emission of debug information for macros (compliant with JSR-45) Dedicated to Yuri Alekseyevich Gagarin
* A couple tests for pending.Paul Phillips2012-03-292-0/+27
|
* Clarifying MethodSynthesis.Paul Phillips2012-03-211-0/+17
| | | | | Tried to paint a picture of how one might synthesize an implicit method to accompany an implicit class.
* [vpm] typer synths Function{} for empty-sel matchAdriaan Moors2012-03-203-0/+5
| | | | | | | | | | | | | | | | | typedMatchAnonFun is called from typedFunction when the function's body is a match this is work-in-progres: the compiler currently won't bootstrap under -Yvirtpatmat see also the pending test make sure to use the right context in typeFunction when the body is a Match when typer is set up for type checking a Function, the current owner is the symbol for the function, but we'll type check a Block(List(ClassDef(cd)), New(cd)) when the function is a match, and the function symbol is nowhere to be found, so go to outer context in patmatvirt: - simplified default case gen (no need for a Casegen instance) - using CASE | SYNTHETIC to detect generated matches (for switches) and avoid typing them endlessly more uniform, and necessary for new-style anon Function class instance gen for matches
* Test case closes SI-4777.Paul Phillips2012-03-036-0/+141
| | | | | And pending tests for most of the other VerifyErrors which still fail to verify.
* Improving error message.Paul Phillips2012-02-281-0/+25
| | | | | Hacked filename into message to alleviate meaningless "_$1 defined twice" error condition. References SI-4893.
* A better error message for inheritance conflict.Paul Phillips2012-02-191-0/+10
| | | | | | And some tests for pending. Closes SI-5358.
* More specialization tests.Paul Phillips2012-02-192-17/+0
| | | | Some in pending, some in files. Closes SI-4770.
* More on SI-5500.Paul Phillips2012-02-181-0/+15
| | | | | | A reimagining of erik's patch in 1df4fc6e59 . He did the hard part, this is the batman reboot. I added more tests and tried to make the anyref caching code less fragile.
* Merge remote-tracking branch 'scalamacros/pullrequest/macros' into developPaul Phillips2012-02-174-0/+20
|\
| * Fixes miscellaneous macro bugsEugene Burmako2012-02-174-0/+20
| |
* | Fixed AnyRef specialization.Paul Phillips2012-02-172-0/+17
|/ | | | | | | | | | At least for the value of fix which means "better than it was in 2.9." I accidentally spent a long while trying to fix something I didn't realize I hadn't broken. But then I lucked into partially fixing it, so that's good news. See run/t5488-fn.scala if you want to see what still doesn't work. (It's covered at SI-4770, which is now reopened.) Closes SI-5488.
*-. Merge remote-tracking branches 'scalamacros/pullrequest/preprocessreifees' ↵Paul Phillips2012-02-1535-279/+29
|\ \ | | | | | | | | | and 'scalamacros/pullrequest/multilineinterpolation' into develop
| * | Disables typechecking that precedes reflective compilationEugene Burmako2012-02-1432-235/+67
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Previously toolboxes used to typecheck their inputs before compiling. Actually, the initial demo by Martin first typechecked the reified tree, then ran it, which typechecked it again, and only then launched the reflective compiler. However, as observed in https://issues.scala-lang.org/browse/SI-5464 current implementation of typechecking is not always idempotent. That's why we cannot allow inputs of toolboxes to be typechecked, at least not until the aforementioned issue is closed. This is not only a convention but also a check inside compileExpr.
| * | Preprocessing for reifeesEugene Burmako2012-02-1410-82/+0
| |/
* / Specialization action.Paul Phillips2012-02-143-0/+40
|/ | | | | | | | | | | | | | | | | | | | | The crickets at http://www.scala-lang.org/node/11901 were in unanimous agreement that I should proceed as suggested. - No arguments to @specialize gets you 10/10, not 9/10 - Fixed bugs in AnyRef specialization revealed by trying to use it - Specialized Function1 on AnyRef. - Changed AnyRef specialization to use OBJECT_TAG, not TVAR_TAG. - Deprecated SpecializableCompanion in favor of Specializable, which has the virtue of being public so it can be referenced from outside the library. - Cooked up mechanism to group specializable types so we don't have to repeat ourselves quite so much, and create a few groups for illustrative purposes. I'm not too serious about those names but I used up all my name-thinking-up brain for the day. - Updated genprod and friends since I had to regenerate Function1. - Put tests for a bunch of remaining specialization bugs in pending. Closes SI-4740, SI-4770, SI-5267.
* Fixes https://issues.scala-lang.org/browse/SI-5229Eugene Burmako2012-02-147-63/+0
|
* reifyAnnotationsEugene Burmako2012-02-128-41/+28
| | | | | | | | | | | | | | | | | | | | | | | Annotations are now supported by the reifier: * AnnotationInfos from symbols get transformed back into mods. * AnnotatedTypes are retained and are reified along with AnnotationInfos. Reification is no magic, and reification of annotations especially: * Annotations cannot refer to symbols defined inside the quasiquote. This restriction is due to the fact that we need to erase locally defined symbols before reifying to make subsequent reflective compilations succeed. However, while doing that, we also need to make sure that we don't make resulting ASTs non-compilable by removing essential information. This is tricky, and it more or less works for TypeTrees, but not for annotations that can contain arbitrary ASTs. For more details look into the comments to Reifiers.scala. * Classfile annotations that contain array arguments and are applied to types, i.e. the ones that generate AnnotatedTypes, cannot be reified. This is because of limitations of manifest infrastructure. Typechecking "Array(mirror.LiteralAnnotArg(...))" would require the compiler to produce a manifest for a path-dependent type, which cannot be done now. Review by @odersky.
*---. Merge remote-tracking branches 'VladUreche/feature/compiler-rootdoc', ↵Paul Phillips2012-02-054-48/+0
|\ \ \ | | | | | | | | | | | | 'scalamacros/pullrequest/5334', 'scalamacros/pullrequest/5272' and 'VladUreche/issue/5287-cleanup' into develop
| | | * Fixes https://issues.scala-lang.org/browse/SI-5272Eugene Burmako2012-02-052-18/+0
| |_|/ |/| |
| | * Fixes https://issues.scala-lang.org/browse/SI-5334Eugene Burmako2012-02-052-30/+0
| |/ |/| | | | | | | | | | | | | | | | | | | New version of reification isn't susceptible to this bug. The problem was with Code.lift generating not only a tree, but also a manifest with the type of that tree. That led to an issue in the case of the type of the manifest depending on a class declared inside the quasiquote. Now manifests in reification are gone, so is the problem.
* | Replaced LiftCode with a function in MacroContextEugene Burmako2012-02-054-8/+8
|/ | | | | | | | | | | | | | Major cleanup of reification: * LiftCode phase has been removed * Code has been deprecated and will be removed as we roll a new starr * Logic related to type-directed lifting has been purged scala.reflect.macro.Context#reify now provides the same services as LiftCode provided (except that it returns Tree, not Code). For testing purposes, I've retained the oh-so-convenient automagic lift. test/files/codelib/code.jar now hosts Code.lift reimplemented in a macro, so that the tests can continue working as if nothing has happened.
* Fixes reifyThisEugene Burmako2012-02-0230-427/+0
|
* Miscellaneous fixes to reificationEugene Burmako2012-02-0234-169/+190
| | | | | | | | More specifically: * Importers now preserve wasEmpty and original * ToolBoxes no longer auto-evaluate nullary functions returned by runExpr * All local symbols from previous typechecks are now correctly erased by ResetAttrs * Originals are now reified
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-14 15:51:24 +0000