new dirs
This commit is contained in:
parent
8df7a46493
commit
dfeef03875
|
@ -36,7 +36,7 @@
|
||||||
(type-check tc-toplevel-form))
|
(type-check tc-toplevel-form))
|
||||||
|
|
||||||
(define-signature tc-expr^
|
(define-signature tc-expr^
|
||||||
(tc-expr tc-expr/check tc-expr/check/t check-below tc-literal tc-exprs tc-exprs/check tc-expr/t #;check-expr))
|
(tc-expr tc-expr/check tc-expr/check/t check-below tc-exprs tc-exprs/check tc-expr/t))
|
||||||
|
|
||||||
(define-signature check-subforms^
|
(define-signature check-subforms^
|
||||||
(check-subforms/ignore check-subforms/with-handlers check-subforms/with-handlers/check))
|
(check-subforms/ignore check-subforms/with-handlers check-subforms/with-handlers/check))
|
||||||
|
|
Loading…
Reference in New Issue
Block a user