René's URL Explorer Experiment


Title: Add `if (var x = expr)` and `map[k].field op= rhs` by congwang-mk · Pull Request #19 · multikernel/kernelscript · GitHub

Open Graph Title: Add `if (var x = expr)` and `map[k].field op= rhs` by congwang-mk · Pull Request #19 · multikernel/kernelscript

X Title: Add `if (var x = expr)` and `map[k].field op= rhs` by congwang-mk · Pull Request #19 · multikernel/kernelscript

Description: KernelScript is a modern, type-safe, domain-specific programming language for eBPF-centric kernel customization - Add `if (var x = expr)` and `map[k].field op= rhs` by congwang-mk · Pull Request #19 · multikernel/kernelscript

Open Graph Description: Summary Two new statement forms for ergonomic map access, plus the doc and test work pinning them down. if (var x = expr) { ... } else { ... } — declaration-as-condition. Binds x only inside the t...

X Description: Summary Two new statement forms for ergonomic map access, plus the doc and test work pinning them down. if (var x = expr) { ... } else { ... } — declaration-as-condition. Binds x only inside the t...

Opengraph URL: https://github.com/multikernel/kernelscript/pull/19

X: @github

direct link

Domain: github.com

route-pattern/_view_fragments/voltron/pull_requests/show/:user_id/:repository/:id/pull_request_layout(.:format)
route-controllervoltron_pull_requests_fragments
route-actionpull_request_layout
fetch-noncev2:04d15415-b1e8-9b56-6ddd-586f7de37f21
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-id90FA:E89C2:10CA64E:1770095:6A61B9E0
html-safe-noncea4928054c93efcf4ded1dde36b59e9551550f947d366d1f2c06a76f48984357e
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiI5MEZBOkU4OUMyOjEwQ0E2NEU6MTc3MDA5NTo2QTYxQjlFMCIsInZpc2l0b3JfaWQiOiIxMTg2MjYwNjQ0NTY1OTg5ODU2IiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0=
visitor-hmac57f59ade49e2cf87aa79151648168f60ed3a9077318aa819cbde1509375f9a06
hovercard-subject-tagpull_request:3633076677
github-keyboard-shortcutsrepository,pull-request-list,pull-request-conversation,pull-request-files-changed,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location///voltron/pull_requests_fragments/pull_request_layout
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/_view_fragments/voltron/pull_requests/show/multikernel/kernelscript/19/pull_request_layout
twitter:imagehttps://opengraph.githubassets.com/8159d30e462dd12ae45b47fb008368f70b422ab0b4082ba644cb5257153d3e29/multikernel/kernelscript/pull/19
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/8159d30e462dd12ae45b47fb008368f70b422ab0b4082ba644cb5257153d3e29/multikernel/kernelscript/pull/19
og:image:altSummary Two new statement forms for ergonomic map access, plus the doc and test work pinning them down. if (var x = expr) { ... } else { ... } — declaration-as-condition. Binds x only inside the t...
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
og:author:usernamecongwang-mk
hostnamegithub.com
expected-hostnamegithub.com
None6f4633bcf01c1ad14b73fd07dd39ac31d61f3d3c2578ee08ec1792b7b351eeb9
turbo-cache-controlno-cache
go-importgithub.com/multikernel/kernelscript git https://github.com/multikernel/kernelscript.git
octolytics-dimension-user_id202362072
octolytics-dimension-user_loginmultikernel
octolytics-dimension-repository_id1019261571
octolytics-dimension-repository_nwomultikernel/kernelscript
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id1019261571
octolytics-dimension-repository_network_root_nwomultikernel/kernelscript
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
releaseac296ae7f21856f1f92adbad22f870b6fbb4b907
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/multikernel/kernelscript/pull/19#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fmultikernel%2Fkernelscript%2Fpull%2F19
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub Copilot appDirect agents from issue to mergehttps://github.com/features/ai/github-app
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
Code QualityEnforce quality at mergehttps://github.com/features/code-quality
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
View all resourceshttps://github.com/resources
GitHub SponsorsFund open source developershttps://github.com/open-source/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/open-source/accelerator
GitHub Starshttps://stars.github.com
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/enterprise/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fmultikernel%2Fkernelscript%2Fpull%2F19
Sign up https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E%2Fvoltron%2Fpull_requests_fragments%2Fpull_request_layout&source=header-repo&source_repo=multikernel%2Fkernelscript
Reloadhttps://github.com/multikernel/kernelscript/pull/19
Reloadhttps://github.com/multikernel/kernelscript/pull/19
Reloadhttps://github.com/multikernel/kernelscript/pull/19
Please reload this pagehttps://github.com/multikernel/kernelscript/pull/19
multikernel https://github.com/multikernel
kernelscripthttps://github.com/multikernel/kernelscript
Notifications https://github.com/login?return_to=%2Fmultikernel%2Fkernelscript
Fork 23 https://github.com/login?return_to=%2Fmultikernel%2Fkernelscript
Star 501 https://github.com/login?return_to=%2Fmultikernel%2Fkernelscript
Code https://github.com/multikernel/kernelscript
Issues 2 https://github.com/multikernel/kernelscript/issues
Pull requests 0 https://github.com/multikernel/kernelscript/pulls
Actions https://github.com/multikernel/kernelscript/actions
Projects https://github.com/multikernel/kernelscript/projects
Security and quality 0 https://github.com/multikernel/kernelscript/security
Insights https://github.com/multikernel/kernelscript/pulse
Code https://github.com/multikernel/kernelscript
Issues https://github.com/multikernel/kernelscript/issues
Pull requests https://github.com/multikernel/kernelscript/pulls
Actions https://github.com/multikernel/kernelscript/actions
Projects https://github.com/multikernel/kernelscript/projects
Security and quality https://github.com/multikernel/kernelscript/security
Insights https://github.com/multikernel/kernelscript/pulse
congwang-mkhttps://github.com/congwang-mk
mainhttps://github.com/multikernel/kernelscript/tree/main
iflet-and-map-field-compoundhttps://github.com/multikernel/kernelscript/tree/iflet-and-map-field-compound
Conversationhttps://github.com/multikernel/kernelscript/pull/19
Commits9 (9)https://github.com/multikernel/kernelscript/pull/19/commits
Checkshttps://github.com/multikernel/kernelscript/pull/19/checks
Files changedhttps://github.com/multikernel/kernelscript/pull/19/files
Add if (var x = expr) and map[k].field op= rhshttps://github.com/multikernel/kernelscript/pull/19#top
congwang-mkhttps://github.com/congwang-mk
mainhttps://github.com/multikernel/kernelscript/tree/main
iflet-and-map-field-compoundhttps://github.com/multikernel/kernelscript/tree/iflet-and-map-field-compound
https://github.com/congwang-mk
congwang-mkhttps://github.com/congwang-mk
May 5, 2026https://github.com/multikernel/kernelscript/pull/19#issue-4387111364
Claude Codehttps://claude.com/claude-code
Please reload this pagehttps://github.com/multikernel/kernelscript/pull/19
congwang-mkhttps://github.com/congwang-mk
May 5, 2026 14:01https://github.com/multikernel/kernelscript/pull/19#commits-pushed-e4f979c
https://github.com/congwang-mk
feat: add if (var x = expr) declaration-as-conditionhttps://github.com/multikernel/kernelscript/pull/19/commits/e4f979c7bff205cbb38a7d77eaea2d4e01478137
e4f979chttps://github.com/multikernel/kernelscript/pull/19/commits/e4f979c7bff205cbb38a7d77eaea2d4e01478137
https://github.com/congwang-mk
feat: add map[key].field op= rhs compound assignmenthttps://github.com/multikernel/kernelscript/pull/19/commits/62b1cc7feb2ef44e0d2ae0582e1453d4ec55ca79
62b1cc7https://github.com/multikernel/kernelscript/pull/19/commits/62b1cc7feb2ef44e0d2ae0582e1453d4ec55ca79
https://github.com/congwang-mk
docs(examples): adopt elegant if (var x = m[k]) idiom in map demoshttps://github.com/multikernel/kernelscript/pull/19/commits/ca701a754615a9ad50d25e5ab9cb8dfb6fde0a19
ca701a7https://github.com/multikernel/kernelscript/pull/19/commits/ca701a754615a9ad50d25e5ab9cb8dfb6fde0a19
https://github.com/congwang-mk
docs: document if (var x = expr) and m[k].field op= rhs in README…https://github.com/multikernel/kernelscript/pull/19/commits/7044637bc4598134fbef9f4455c9332e07d494b9
7044637https://github.com/multikernel/kernelscript/pull/19/commits/7044637bc4598134fbef9f4455c9332e07d494b9
https://github.com/congwang-mk
test: lock in Phase 1 IfLet and Phase 2 codegen behaviourhttps://github.com/multikernel/kernelscript/pull/19/commits/814e33652e997d53fe8ce85e63d4ba4777d3cbc9
814e336https://github.com/multikernel/kernelscript/pull/19/commits/814e33652e997d53fe8ce85e63d4ba4777d3cbc9
https://github.com/congwang-mk
feat: drop none literal in favour of nullhttps://github.com/multikernel/kernelscript/pull/19/commits/e0ddcd98565edb417944785c099b2eb4a36ec7b1
e0ddcd9https://github.com/multikernel/kernelscript/pull/19/commits/e0ddcd98565edb417944785c099b2eb4a36ec7b1
https://github.com/congwang-mk
docs(examples,README,SPEC): adopt if (var x = expr) for remaining p…https://github.com/multikernel/kernelscript/pull/19/commits/d5f25c18f02f795faa7bf2573b85cff6999be8c2
d5f25c1https://github.com/multikernel/kernelscript/pull/19/commits/d5f25c18f02f795faa7bf2573b85cff6999be8c2
https://github.com/congwang-mk
congwang-mkhttps://github.com/congwang-mk
force-pushedhttps://github.com/multikernel/kernelscript/compare/00ad00302802b7f1a08b056e40e2337bfefafe99..d5f25c18f02f795faa7bf2573b85cff6999be8c2
00ad003https://github.com/multikernel/kernelscript/commit/00ad00302802b7f1a08b056e40e2337bfefafe99
d5f25c1https://github.com/multikernel/kernelscript/commit/d5f25c18f02f795faa7bf2573b85cff6999be8c2
Compare https://github.com/multikernel/kernelscript/compare/00ad00302802b7f1a08b056e40e2337bfefafe99..d5f25c18f02f795faa7bf2573b85cff6999be8c2
May 5, 2026 21:37https://github.com/multikernel/kernelscript/pull/19#event-25195171545
https://github.com/congwang-mk
congwang-mkhttps://github.com/congwang-mk
May 5, 2026https://github.com/multikernel/kernelscript/pull/19#event-25195441813
https://github.com/congwang-mk
congwang-mkhttps://github.com/congwang-mk
May 5, 2026https://github.com/multikernel/kernelscript/pull/19#event-25195442778
https://github.com/SiyuanSun0736
SiyuanSun0736https://github.com/SiyuanSun0736
May 6, 2026https://github.com/multikernel/kernelscript/pull/19#issuecomment-4387472930
Please reload this pagehttps://github.com/multikernel/kernelscript/pull/19
congwang-mkhttps://github.com/congwang-mk
May 6, 2026 13:29https://github.com/multikernel/kernelscript/pull/19#commits-pushed-ccd2324
https://github.com/congwang-mk
fix(ir-gen): scope IfLet binding to its then-branch via alias tablehttps://github.com/multikernel/kernelscript/pull/19/commits/ccd232455f409b17649d8d355cfb7aa9276fb862
ccd2324https://github.com/multikernel/kernelscript/pull/19/commits/ccd232455f409b17649d8d355cfb7aa9276fb862
@SiyuanSun0736https://github.com/SiyuanSun0736
#19https://github.com/multikernel/kernelscript/pull/19
https://github.com/congwang-mk
fix(type-checker): restrict if (var x = expr) RHS to presence-produ…https://github.com/multikernel/kernelscript/pull/19/commits/198fe92d7e5b0c12a70ce05ef9418f3bdca7ebd7
198fe92https://github.com/multikernel/kernelscript/pull/19/commits/198fe92d7e5b0c12a70ce05ef9418f3bdca7ebd7
@SiyuanSun0736https://github.com/SiyuanSun0736
#19https://github.com/multikernel/kernelscript/pull/19
https://github.com/congwang-mk
congwang-mkhttps://github.com/congwang-mk
82279e5https://github.com/multikernel/kernelscript/commit/82279e5cd1d9946b8612d62503e3bba6818e26b8
May 8, 2026https://github.com/multikernel/kernelscript/pull/19#event-25324437159
Please reload this pagehttps://github.com/multikernel/kernelscript/pull/19
https://github.co/hiddenchars
https://github.com/multikernel/kernelscript/pull/{{ revealButtonHref }}
Sign up for freehttps://github.com/join?source=comment-repo
Sign in to commenthttps://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fmultikernel%2Fkernelscript%2Fpull%2F19
Please reload this pagehttps://github.com/multikernel/kernelscript/pull/19
https://github.com/congwang-mk
https://github.com/SiyuanSun0736
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.