good first issueinferencerefinement
Repository metrics
- Stars
- (576 個のスター)
- PR merge metrics
- (平均マージ 11d 14h) (30d で 1 merged PR)
説明
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)