daphne-project/daphne

Reconsider type inference for `EwPowOp`

Aberta

#776 aberto em 2 de jul. de 2024

Ver no GitHubGuia do colaborador
 (1 comentário) (0 reação) (0 responsável)C++ (84 forks)auto 404
buggood first issue

Métricas do repositório

Stars
 (80 estrelas)
Métricas de merge de PR
 (Nenhuma PRs mesclada em 30d)

Description

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.

Guia do colaborador

Direção de pesquisa
Investigue a lógica de inferência de tipos para EwPowOp para garantir que um expoente inteiro negativo resulte em um tipo de retorno de ponto flutuante (ex: `10 ^ 3` produza `0.001`). Rastreie a inferência de tipos no frontend do compilador.
Pilha de tecnologia
cpp
Domain
backendcompilers
Tipo Issue
Bug
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
3
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
Meio dia
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
C++compiler basics
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
35