print less
This commit is contained in:
parent
c988c4f462
commit
1e434f8006
|
@ -81,10 +81,7 @@
|
||||||
(define (un- id)
|
(define (un- id)
|
||||||
(define match?
|
(define match?
|
||||||
(regexp-match #px"^(\\S*)-\\S*$" (symbol->string (syntax-e id))))
|
(regexp-match #px"^(\\S*)-\\S*$" (symbol->string (syntax-e id))))
|
||||||
(if match?
|
(and match? (string->symbol (second match?))))
|
||||||
(string->symbol (second match?))
|
|
||||||
(begin (printf "no match! ~a\n" id)
|
|
||||||
match?)))
|
|
||||||
|
|
||||||
;; Identifier -> (U #f type-metadata)
|
;; Identifier -> (U #f type-metadata)
|
||||||
(define (get-type-info ty-cons)
|
(define (get-type-info ty-cons)
|
||||||
|
@ -1134,7 +1131,7 @@
|
||||||
(<: #'τ1 #'τ2-X/Y)]
|
(<: #'τ1 #'τ2-X/Y)]
|
||||||
[((~Base τ1:id) (~Base τ2:id))
|
[((~Base τ1:id) (~Base τ2:id))
|
||||||
(or (free-identifier=? #'τ1 #'τ2)
|
(or (free-identifier=? #'τ1 #'τ2)
|
||||||
(let ()
|
#;(let ()
|
||||||
(printf "τ1:\n")
|
(printf "τ1:\n")
|
||||||
(pretty-print (syntax-debug-info (values #;syntax-local-introduce #'τ1)))
|
(pretty-print (syntax-debug-info (values #;syntax-local-introduce #'τ1)))
|
||||||
(pretty-print (identifier-binding #'τ1))
|
(pretty-print (identifier-binding #'τ1))
|
||||||
|
|
Loading…
Reference in New Issue