Fix issue keep debugging
This commit is contained in:
parent
0a8e400f63
commit
4e97151cc5
|
@ -1087,7 +1087,7 @@
|
|||
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
||||
|
||||
(begin-for-syntax
|
||||
(define trace-sub? (make-parameter #t))
|
||||
(define trace-sub? (make-parameter #f))
|
||||
|
||||
;; Type Type -> Bool
|
||||
;; subtyping
|
||||
|
@ -1406,11 +1406,12 @@
|
|||
(define-for-syntax (int-def-ctx-bind-type-rename x x- t ctx)
|
||||
(when DEBUG-BINDINGS?
|
||||
(printf "adding to context ~a\n" (syntax-debug-info x)))
|
||||
(define kind (detach t KIND-TAG))
|
||||
(syntax-local-bind-syntaxes (list x-) #f ctx)
|
||||
(syntax-local-bind-syntaxes (list x)
|
||||
#`(make-rename-transformer
|
||||
(add-orig
|
||||
(attach #'#,x- ': #'#,t)
|
||||
(attach #'#,x- ': (attach #'#,t '#,KIND-TAG #'#,kind))
|
||||
#'#,x)
|
||||
#;(add-orig (assign-type #'#,x- #'#,t #:wrap? #f) #'#,x))
|
||||
ctx))
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
Either
|
||||
left
|
||||
right
|
||||
#;partition/either)
|
||||
partition/either)
|
||||
|
||||
(require "core-types.rkt")
|
||||
(require "core-expressions.rkt")
|
||||
|
@ -23,7 +23,7 @@
|
|||
x)
|
||||
|
||||
|
||||
#;(define (∀ (X Y Z) (partition/either [xs : (List X)]
|
||||
(define (∀ (X Y Z) (partition/either [xs : (List X)]
|
||||
[pred : (→fn X (U (Left Y)
|
||||
(Right Z)) #;(Either Y Z))]
|
||||
-> (Tuple (List Y) (List Z))))
|
||||
|
|
Loading…
Reference in New Issue