good first issueinferencerefinement
仓库指标
- 星标
- (576 个星标)
- PR 合并指标
- (平均合并 11天 14小时) (30 天内合并 1 个 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)