Recursive calls incorrectly enforce block prototype on scalar coderef
維護者通常 1 天內回覆
還沒有人認領這個 Issue。
評估
研究方向
Start by reading the recursive call in the reproducer and tracing how PerlOnJava checks prototypes for named subroutine calls; the issue identifies failures on both the JVM and interpreter backends. Add the requested regression coverage, then run the focused reproducer on both backends and the HOP-Stream 0.03 upstream suite. Done means all three pass, including HOP::Stream loading successfully.
由索引模型根據 Issue 內容生成。
描述
Summary
PerlOnJava rejects a valid recursive call to a subroutine declared with a block prototype. HOP-Stream 0.03 uses transform (&$) and recursively calls transform($f, tail($s)) from inside transform. Standard Perl accepts and runs this code, but PerlOnJava applies the block prototype check to the recursive call and rejects the scalar code reference $f.
Minimal reproducer
sub transform (&$) {
my ($f, $x) = @_;
return $x if $x <= 1;
return transform($f, $x - 1);
}
print transform { $_[0] + 1 } 2;
Expected output: 2.
PerlOnJava reports:
Type of arg 1 to main::transform must be block or sub {} (not scalar variable)
Evidence
- Distribution: HOP-Stream 0.03
- CPAN random tester run:
20261011-174632-64969 - Failing tests:
t/00-load.t,t/10-streams.t, andt/pod-coverage.t; all fail because loadingHOP::Streamfails at its recursivetransform($f, tail($s))call. - System Perl 5.42.2: PASS, all 64 runnable tests; POD coverage was skipped because
Test::Pod::Coverage1.04 was unavailable. - PerlOnJava v5.44.1: FAIL on both JVM and interpreter backends. The focused module-load reproduction also fails on both backends.
- The distribution is pure Perl and has no native-code prerequisite.
This concerns prototype checking on a recursive named call. It is distinct from #1491, which tracked parsing an anonymous block followed by another argument.
Acceptance criteria
- The focused reproducer passes on system Perl and both PerlOnJava backends.
- Add permanent regression coverage for passing a scalar coderef to a block-prototype subroutine through a recursive call from within that subroutine.
- HOP-Stream 0.03 loads successfully and its upstream suite passes under PerlOnJava.
- 主要語言
- Perl
- 星號
- 64
- 分支
- 7
- 平均合併
- 5 小時 25 分鐘
- 30 天內合併 PR
- 213
環境準備
- 提供 Dockerfile 或 Docker Compose 檔案
- 沒有 Pull Request 範本
- 閱讀貢獻指南
從這裡開始
- 先讀完整個 Issue，再讀專案的貢獻指南。
- 在 Issue 下留言說明你要接手 —— 這能避免兩個人做同樣的事。
- Fork 儲存庫，在一個分支上完成修改。
- 送出 Pull Request，並在描述裡引用這個 Issue 編號。
fglock/PerlOnJava 的其他 Issue
-
難度 2/5 1-3 小時 新手友好度 68/100
fglock/PerlOnJava#1651 ·
維護者通常 1 天內回覆
-
bug
難度 2/5 1-3 小時 新手友好度 72/100
fglock/PerlOnJava#1579 ·
維護者通常 1 天內回覆
-
area:cpan-port area:unicode bug
難度 2/5 1-3 小時 新手友好度 88/100
fglock/PerlOnJava#1341 ·
維護者通常 1 天內回覆
-
難度 3/5 半天 新手友好度 45/100
fglock/PerlOnJava#1808 ·
維護者通常 1 天內回覆
-
area:cpan-port area:runtime bug
難度 4/5 3-5 天 新手友好度 28/100
fglock/PerlOnJava#1802 · 1 則留言 ·
維護者通常 1 天內回覆
查看 fglock/PerlOnJava 的全部 Issue
相似的 Issue
-
Add .gitattributes so share/skel keeps LF on a Windows git checkout可能已有人在做 @sadhana-s-codez 於 1 天前認領。 未關閉
難度 1/5 1 小時以內 新手友好度 85/100
PerlDancer/Dancer2#1854 · 1 則留言 ·
維護者通常 1 天內回覆
-
bug
難度 2/5 1-3 小時 新手友好度 78/100
major/MySQLTuner-perl#1007 ·
維護者通常 1 天內回覆
-
難度 1/5 1 小時以內 新手友好度 88/100
-
難度 1/5 1 小時以內 新手友好度 88/100
-
難度 2/5 1-3 小時 新手友好度 69/100
bioconda/bioconda-recipes#70187 ·
維護者通常 2 天內回覆