Skip to content

impl part of Feature: Native Triton GPU Kernel Strict Typing Plugin #3884 - #5309

Draft
asukaminato0721 wants to merge 3 commits into
meta:mainfrom
asukaminato0721:3884
Draft

asukaminato0721 wants to merge 3 commits into
meta:mainfrom
asukaminato0721:3884

Conversation

@asukaminato0721

Copy link
Copy Markdown
Collaborator

Summary

part of #3884, Pyrefly now treats tl.constexpr parameters as Any in recognized Triton JIT functions.

  • I am a human, and I fully understand the code I am submitting.

Test Plan

add test

@meta-codesync

meta-codesync Bot commented Oct 21, 2026

Copy link
Copy Markdown
Contributor

This pull request has been imported. If you are a Meta employee, you can view this in D126647218. (Because this pull request was imported automatically, there will not be any future comments.)

@github-actions

This comment has been minimized.

@stroxler stroxler self-assigned this Oct 21, 2026
@stroxler

Copy link
Copy Markdown
Contributor

I'll take a look at this, thanks!

I suspect we'll wind up treating this more as a prototype than something to merge quickly, because triton support is a big undertaking and we probably want to tie it to tensor shape types (which also will mean designing an extensive stub library).

@github-actions

This comment has been minimized.

@github-actions

This comment has been minimized.

@github-actions

github-actions Bot commented Nov 1, 2026

Copy link
Copy Markdown

According to mypy_primer, this change doesn't affect type check results on a corpus of open source code. ✅

@rchen152

rchen152 commented Nov 2, 2026

Copy link
Copy Markdown
Contributor

Sounds like this is more of a prototype/waiting for interactions with tensor shapes to be worked out, so I'm going to move it to draft so I don't keep seeing it and thinking it needs review :)

@rchen152
rchen152 marked this pull request as draft November 2, 2026 05:56
@rchen152 rchen152 added size/m and removed size/xl labels Nov 2, 2026

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants