diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt index 749d5b92..ae58bec6 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt @@ -102,7 +102,7 @@ t))] [else (tc-error/expr #:stx stx (syntax-e msg))])) -;; tc-expr/check : syntax maybe[tc-results] -> tc-results +;; tc-expr/check/internal : syntax maybe[tc-results] -> tc-results (define/cond-contract (tc-expr/check/internal form expected) (--> syntax? (-or/c tc-results/c #f) full-tc-results/c) (parameterize ([current-orig-stx form])