daphne-project/daphne

Reconsider type inference for `EwPowOp`

开放

#776 创建于 2024年7月2日

在 GitHub 查看贡献者指南
 (1 条评论) (0 个反应) (0 位负责人)C++ (84 个派生)auto 404
buggood first issue

仓库指标

星标
 (80 个星标)
PR 合并指标
 (PR 指标待抓取)

描述

The DaphneDSL expression 10 ^ -3 yields the unexpected result 0, since the results is returned as an integer just like the argument. It would be more intuitive to return 0.001, just like the DaphneDSL expression 10.0 ^ -3 does. To this end, we need to adapt the type inference for EwPowOp.

贡献者指南

研究方向
研究 EwPowOp 的类型推断逻辑，确保负整数指数量得到浮点返回类型（例如，`10 ^ 3` 得到 `0.001`）。追踪编译器前端的类型推断。
技术栈
cpp
领域
backendcompilers
议题类型
缺陷
难度面向新贡献者的预计实现难度，1 表示很小改动，5 表示专家级工作。
3
预计时间有经验贡献者完成调查、实现、测试并准备 pull request 的粗略时间范围。
半天
活动状态议题当前的可参与程度：新鲜、活跃、陈旧、阻塞或等待维护者输入。
活跃
清晰度议题是否清楚说明期望改动、验收标准和下一步。
清晰
前置要求
C++compiler basics
新手友好度1-100 的估计分数，表示该议题对首次贡献者的友好程度。
35