daphne-project/daphne

Reconsider type inference for `EwPowOp`

Ouverte

#776 ouverte le 2 juil. 2024

Voir sur GitHubGuide contributeur
 (1 commentaire) (0 réaction) (0 personne assignée)C++ (84 forks)auto 404
buggood first issue

Métriques du dépôt

Stars
 (80 étoiles)
Métriques de merge PR
 (Métriques PR en attente)

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.

Guide contributeur

Direction de recherche
Examinez la logique d'inférence de type pour EwPowOp afin de garantir qu'un exposant entier négatif aboutisse à un type de retour flottant (par exemple, `10 ^ 3` donne `0.001`). Suivez l'inférence de type dans le front end du compilateur.
Stack technique
cpp
Domaine
backendcompilers
Type d'issue
Bug
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
Une demi journée
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
C++compiler basics
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
35