racket/typed-racket

refinement type runs into an endless loop

Ouverte

#672 ouverte le 28 févr. 2018

Voir sur GitHub
 (1 commentaire) (0 réaction) (0 personne assignée)Racket (106 forks)github user discovery
good first issueinferencerefinement

Métriques du dépôt

Stars
 (576 étoiles)
Métriques de merge PR
 (Merge moyen 11j 14h) (1 PR mergée en 30 j)

Description

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)

Guide contributeur

Direction de recherche
Examinez l'expansion des types de raffinement dans Typed Racket pour trouver la boucle infinie. Regardez le code source pour la gestion des types de raffinement et suivez le chemin qui cause la saturation de la mémoire.
Stack technique
Aucun
Domaine
backend
Type d'issue
Bug
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 heures
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
GitRacket
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
25