racket/typed-racket

case-lambda allows multiple cases with the same arity

Offen

#517 geöffnet am 24.03.2017

Auf GitHub ansehen
 (5 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Racket (106 Forks)github user discovery
arrowgood first issue

Repository-Metriken

Stars
 (576 Sterne)
PR-Merge-Metriken
 (Durchschn. Merge 11T 14h) (1 gemergte PR in 30 T)

Beschreibung

[I originally opened this as an issue for racket, but it more clearly violates the docs for typed/racket.]

Although for racket it doesn't seem explicitly forbidden, the typed/racket docs say:

Note that each formals must have a different arity.

Should this perhaps be an expansion-time error:

> (case-lambda [([z : Zero]) z]
               [([o : One]) o])
- : (-> Zero Zero)

This came up because a student encountering the case-> type constructor wondered whether case-lambda would provide overloading by type.

Contributor Guide

Research-Richtung
Fügen Sie eine Prüfung zur Expansionszeit hinzu, um sicherzustellen, dass jedes formals in case lambda eine unterschiedliche Stelligkeit hat, und geben Sie andernfalls einen Fehler aus.
Tech Stack
Keine
Domain
compilerstooling
Issue Type
Fehler
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
2
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-3 Stunden
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
Racket
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
75