racket/typed-racket

tooltips missing sometimes

Offen

#667 geöffnet am 16.02.2018

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

Repository-Metriken

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

Beschreibung

In DrRacket, this program:

#lang typed/racket #:no-optimize

(: plus (-> (U String Integer)
            (U String Integer)
            (U String Integer)))
(define (plus x y)
  (cond
    [(and (number? x) (number? y))
     (+ x y)]
    [(number? x)
     (string-append
      (format "~a" x)
      (format "~a" y))]
    [(string? x)
     (string-append
      (format "~a" x)
      (format "~a" y))]
    [else
     (+ x (car x))]))

shows no tooltips in the (+ x (car x)) bit. It would be nice to show something about what's going on (not just silence).

Contributor Guide

Research-Richtung
Verfolgen Sie den Codepfad in Typed Racket, der Tooltips für Typfehler generiert, und konzentrieren Sie sich dabei auf den 'else' Zweig des cond Ausdrucks und die Verwendung von 'car' auf einer Nicht Liste.
Tech Stack
Keine
Domain
developer experience
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.
Frisch
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
RacketGit
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
60