racket/typed-racket

refinement type runs into an endless loop

Aperta

#672 aperta il 28 feb 2018

Vedi su GitHub
 (1 commento) (0 reazioni) (0 assegnatari)Racket (106 fork)github user discovery
good first issueinferencerefinement

Metriche repository

Star
 (576 stelle)
Metriche merge PR
 (Merge medio 11g 14h) (1 PR mergiata in 30 g)

Descrizione

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)

Guida contributor

Direzione di ricerca
Investiga l'espansione dei tipi di raffinamento in Typed Racket per trovare il ciclo infinito. Esamina il codice sorgente per la gestione dei tipi di raffinamento e traccia il percorso che causa l'esaurimento della memoria.
Tech stack
Nessuno
Dominio
backend
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
GitRacket
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
25