racket/typed-racket

refinement type runs into an endless loop

Offen

#672 geöffnet am 28.02.2018

Auf GitHub ansehen
 (1 Kommentar) (0 Reaktionen) (0 zugewiesene Personen)Racket (106 Forks)github user discovery
good first issueinferencerefinement

Repository-Metriken

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

Beschreibung

What version of Racket are you using?

6.12

What program did you run?

#lang typed/racket #:with-refinements
(define-type test (Refine [a : (Pairof Integer Integer)]
                          (<= (car a) (cdr a))))
(ann '(2 . 1) test)

What should have happened?

a type error

If you got an error message, please include it here.

Background expansion abnormally(out of memory)

Contributor Guide

Research-Richtung
Untersuchen Sie die Erweiterung von Verfeinerungstypen in Typed Racket, um die Endlosschleife zu finden. Überprüfen Sie den Quellcode für die Behandlung von Verfeinerungstypen und verfolgen Sie den Pfad, der zur Speicherüberlastung führt.
Tech Stack
Keine
Domain
backend
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.
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
GitRacket
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
25