Primitive word is advertised as uint256 but lacks external ABI evidence
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 42/100
Direzione di ricerca
Start by reading ContractDispatch.abiTypeOf and the standard library definitions for SigString, ABIEncode, and ABIDecode mentioned in the issue. Reproduce the failure with the provided contract using ABI output enabled, specialization disabled, and legacy typeclass resolution. Trace how word is handled in selectors and encoding/decoding, including derived ADT fields and type arguments; done means the compiler supports the advertised representation consistently or rejects it before writing misleading ABI metadata.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
ABI metadata represents primitive word as uint256, but std lacks the instances needed to use it at the external ABI boundary. With ABI output enabled and specialization disabled, the frontend with legacy typeclass resolution writes the metadata and then rejects the generated dispatch.
import * from std;
import * from std.dispatch;
contract Repro {
function echo(value: word) public returns (word) {
return value;
}
}
Actual: The compiler writes Repro.abi with uint256 input/output entries, then exits with an error:
error[SC0223]: cannot entail: ABIDecoder<word, CalldataWordReader>: ABIDecode<word>
ContractDispatch.abiTypeOf maps word to uint256, but std has no corresponding word: SigString, word: ABIEncode, or ABIDecoder<word, reader>: ABIDecode<word> instances. The gap also matters when word appears in a derived ADT's fields or type arguments.
Expected: Define a consistent external-ABI policy for primitive word. If the advertised uint256 representation is supported, provide the full selector/encode/decode evidence together. Otherwise reject the unsupported ABI type explicitly before emitting apparently usable metadata.
- Lingua principale
- Haskell
- Stelle
- 115
- Fork
- 11
- Merge medio
- 20h 29m
- PR unite (30g)
- 2
Preparare l'ambiente
Questo progetto non fornisce container di sviluppo, Dockerfile né guida per i contributori, quindi l'ambiente è a tuo carico: parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di argotorg/solcore
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
-
user feedback: Rename `lam` to `lambda` and give the unit type a nameForse già presa @rodrigogribeiro l’ha presa 50 giorni fa. Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 82/100
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 92/100
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 57/100
Tutte le issue di argotorg/solcore
Issue simili
-
Allow QuickCheck 2.17Aperta
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 75/100
-
15-minutes 5-minutes algorithm any-language beginner-friendly c cpp csharp easy go good first issue hacktoberfest help wanted java javascript kotlin python rust swift typescript
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 68/100
Huerte/algo-solutions-python#260 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 65/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 62/100
IntersectMBO/cardano-ledger#6276 ·
I maintainer di solito rispondono entro 1 giorno