René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Move const folding to the peephole optimizer","articleBody":"# Feature or enhancement\n\n### Proposal:\n\nFor additional context see https://github.com/python/cpython/pull/126830#issuecomment-2476525196.\n\nFlow graph optimizer has more information and can do better job.\n\nThe problem is that we need to convert from `UNARY_OP(-, CONST(1))` to `CONST(-1)`, still before the code generation phase, because this leads to a few problems, one of which is shown below.\n```python\nx = 1\n\nmatch x:\n    case -0:\n        y = 0\n```\n\n```\neclips4@nixos ~/p/p/cpython (remove-ast-optimizer)\u003e ./python example.py\n  File \"/home/eclips4/programming/programming-languages/cpython/example.py\", line 4\n    case -0:\n         ^^\nSyntaxError: patterns may only match literals and attribute lookups\n```\n\n\ncc @markshannon \n\n\n\n### Has this already been discussed elsewhere?\n\nNo response given\n\n### Links to previous discussion of this feature:\n\n_No response_\n\n\u003c!-- gh-linked-prs --\u003e\n### Linked PRs\n* gh-128802\n* gh-129426\n* gh-129550\n* gh-129568\n* gh-129634\n* gh-129703\n* gh-129963\n* gh-130016\n* gh-130032\n* gh-130109\n* gh-130769\n* gh-131054\n* gh-131826\n* gh-131830\n\u003c!-- /gh-linked-prs --\u003e\n","author":{"url":"https://github.com/Eclips4","@type":"Person","name":"Eclips4"},"datePublished":"2024-11-14T18:08:07.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":122},"url":"https://github.com/126835/cpython/issues/126835"}