fannkuch benchmark & implicit returns
还没有人认领这个 Issue。
评估
调研方向
从 fannkuch_static_basic_lib.py 开始，使用 issue 中最小的 main() 示例重现 Cinder 3.10 错误。跟踪带有 while 循环和条件 return 的带注解函数的隐式返回分析，然后验证 fannkuch 和这个小示例能够在不出现错误的 TypedSyntaxError 的情况下完成编译。
由索引模型根据 Issue 内容生成。
描述
On Cinder 3.10, fannkuch_static_basic_lib.py gives a type error about implicitly returning None:
File "fannkuch_static_basic_lib.py", line 15
def fannkuch(n: int) -> int:
compiler.errors.TypedSyntaxError: Function has declared return type 'int' but can implicitly return None.
Here's a small program with the same error:
def main()->int:
while 1:
if 0:
pass
else:
return 4
main()
A quick fix is to add return 0 or something to the bottom of fannkuch. But maybe the implicit return analysis needs an upgrade.
cc @vivaan2006 who helped discover this
- 主要语言
- Python
- 星标
- 3.8k
- 派生
- 139
- PR 合并指标
- 30 天内没有已合并 PR
贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
facebookincubator/MetaPython 的其他 Issue
-
难度 4/5 3-5 天 新手友好度 35/100
facebookincubator/MetaPython#147 ·
-
难度 4/5 3-5 天 新手友好度 45/100
facebookincubator/MetaPython#146 · 2 条评论 ·
-
难度 4/5 3-5 天 新手友好度 35/100
facebookincubator/MetaPython#145 · 4 条评论 ·
-
难度 3/5 1-2 天 新手友好度 30/100
facebookincubator/MetaPython#144 · 1 条评论 ·
-
难度 4/5 3-5 天 新手友好度 20/100
facebookincubator/MetaPython#129 · 2 条评论 ·
查看 facebookincubator/MetaPython 的全部 Issue
相似的 Issue
-
bug confirmed issue
难度 2/5 1-3 小时 新手友好度 75/100
open-webui/open-webui#30750 · 1 条评论 ·
-
难度 2/5 1-3 小时 新手友好度 75/100
-
enhancement
难度 2/5 1-3 小时 新手友好度 75/100
OpenwaterHealth/openmotion-bloodflow-app#604 · 1 条评论 ·
-
难度 2/5 1-3 小时 新手友好度 70/100
-
good first issue
难度 1/5 1 小时以内 新手友好度 90/100