daphne-project/daphne

Reconsider type inference for `EwPowOp`

Aperta

#776 aperta il 2 lug 2024

Vedi su GitHubGuida contributor
 (1 commento) (0 reazioni) (0 assegnatari)C++ (84 fork)auto 404
buggood first issue

Metriche repository

Star
 (80 stelle)
Metriche merge PR
 (Metriche PR in attesa)

Descrizione

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.

Guida contributor

Direzione di ricerca
Indaga la logica di inferenza dei tipi per EwPowOp per garantire che un esponente intero negativo restituisca un tipo a virgola mobile (es. `10 ^ 3` restituisca `0.001`). Traccia l'inferenza dei tipi nel frontend del compilatore.
Tech stack
cpp
Dominio
backendcompilers
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Mezza giornata
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
C++compiler basics
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
35