From 389a84b5b2295cfb946cb54a90abf3db883fbbd8 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 2 Nov 2013 09:50:32 -0500 Subject: [PATCH] Sorry all; stupid mistake This reverts commit 90fc899b368bbbd16d284d03dcef53039fffbfca. This reverts commit 780fb37c0dab0bdab8b91a083660ae88021435e8. This reverts commit 9e54b2bc1b8c0ca8a3d84b86a438153e8e1ff2e7. This reverts commit 43a584f7105ba3a0d7830879003a8c5241258969. original commit: 40f7ab2ba4a948a9ac9f6b1114a91c71a0968e9b --- .../typed-racket-lib/typed-racket/tc-setup.rkt | 2 -- .../typed-racket-lib/typed-racket/types/type-table.rkt | 2 -- 2 files changed, 4 deletions(-) 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