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)