diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/tc-setup.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/tc-setup.rkt index 7d0a3228..f5f51d3b 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/tc-setup.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/tc-setup.rkt @@ -34,8 +34,6 @@ (type-alias-env-map (lambda (id ty) (cons (syntax-e id) ty)))))) -(define-logger online-check-syntax) - (define-syntax-rule (tc-setup orig-stx stx expand-ctxt fully-expanded-stx init checker pre-result post-result . body) (tc-setup/proc orig-stx stx expand-ctxt init checker (λ (fully-expanded-stx pre-result post-result) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/type-table.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/type-table.rkt index c04d4762..9d7cf9d4 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/type-table.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/type-table.rkt @@ -12,7 +12,6 @@ (define (reset-type-table) (set! table (make-hasheq))) (define (add-typeof-expr e t) - (log-message online-check-syntax-logger 'info #f "type of expression" (list e t)) (when (optimize?) (hash-update! table e ;; when typechecking a case-> type, types get added for @@ -31,7 +30,6 @@ (ret (map Un old-ts t-ts))] [(_ _) t])) ; irrelevant to the optimizer, just clobber t))) -(define-logger online-check-syntax) (define (type-of e) (hash-ref table e