From ec2ee0af5f995cd0964e78b14d14a0ad0ca17ba4 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 26 Sep 2013 11:51:29 -0400 Subject: [PATCH] Log types of expressions and fully expanded syntax (before typechecking) original commit: 780fb37c0dab0bdab8b91a083660ae88021435e8 --- .../typed-racket-lib/typed-racket/tc-setup.rkt | 2 ++ .../typed-racket-lib/typed-racket/types/type-table.rkt | 2 ++ 2 files changed, 4 insertions(+) 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 f5f51d3b..7d0a3228 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,6 +34,8 @@ (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 9d7cf9d4..c04d4762 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,6 +12,7 @@ (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 @@ -30,6 +31,7 @@ (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