daphne-project/daphne

Reconsider type inference for `EwPowOp`

Offen

#776 geöffnet am 02.07.2024

Auf GitHub ansehenContributor Guide
 (1 Kommentar) (0 Reaktionen) (0 zugewiesene Personen)C++ (84 Forks)auto 404
buggood first issue

Repository-Metriken

Stars
 (80 Sterne)
PR-Merge-Metriken
 (PR-Metriken ausstehend)

Beschreibung

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.

Contributor Guide

Research-Richtung
Untersuchen Sie die Typinferenzlogik für EwPowOp, um sicherzustellen, dass ein negativer Integer Exponent zu einem Fließkomma Rückgabetyp führt (z.B. `10 ^ 3` ergibt `0.001`). Verfolgen Sie die Typinferenz im Compiler Frontend.
Tech Stack
cpp
Domain
backendcompilers
Issue Type
Fehler
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
Halber Tag
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
C++compiler basics
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
35