Mypy complains when currying a class
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 42/100
Direzione di ricerca
Inizia con il riproduttore in main.py e ispeziona returns.curry e returns.contrib.mypy.returns_plugin, gli entry point indicati nell’issue. Confronta il modo in cui il plugin gestisce le funzioni curryficate con il caso del costruttore di classe, quindi esegui mypy main.py; il lavoro è completato quando l’utilizzo mostrato non segnala errori.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Bug report
Hi, I'm trying to curry a class constructor, but mypy complains
What's wrong
# main.py
from returns.curry import curry
@curry
class Person:
def __init__(self, name: str, age: int):
self.name = name
self.age = age
Person("bob")(33)
$ mypy main.py
main.py:10: error: Missing positional argument "age" in call to "Person"
main.py:10: error: "Person" not callable
Found 2 errors in 1 file (checked 1 source file)
Here is my mypy.ini file:
[mypy]
plugins =
returns.contrib.mypy.returns_plugin
How is that should be
mypy should not report any error
System information
-
pythonversion: 3.10.4 -
returnsversion: 0.19.0 -
mypyversion: 0.971 -
hypothesisversion (if any): not installed -
pytestversion (if any): not installed
- Lingua principale
- Python
- Stelle
- 4.4k
- Fork
- 154
- Merge medio
- 3h 5m
- PR unite (30g)
- 22
Guida per i contributori
Apri la guida per i contributori
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 dry-python/returns
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
dry-python/returns#2394 · 1 reazione ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 52/100
dry-python/returns#2365 ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
dry-python/returns#2355 · 1 commento ·
-
bug
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
dry-python/returns#2295 · 4 commenti · 1 reazione ·
-
bug
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
dry-python/returns#2253 · 2 commenti ·
Tutte le issue di dry-python/returns
Issue simili
-
bug confirmed issue
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
open-webui/open-webui#30750 · 1 commento ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
-
enhancement
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
OpenwaterHealth/openmotion-bloodflow-app#604 · 1 commento ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100
-
good first issue
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 90/100