suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Sorry all; stupid mistake

Browse Source 
This reverts commit 90fc899b368bbbd16d284d03dcef53039fffbfca.
This reverts commit 780fb37c0dab0bdab8b91a083660ae88021435e8.
This reverts commit 9e54b2bc1b8c0ca8a3d84b86a438153e8e1ff2e7.
This reverts commit 43a584f7105ba3a0d7830879003a8c5241258969.

original commit: 40f7ab2ba4a948a9ac9f6b1114a91c71a0968e9b
This commit is contained in:
Robby Findler 2013-11-02 09:50:32 -05:00
parent ec2ee0af5f
commit 389a84b5b2
2 changed files with 0 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/tc-setup.rkt
View File

@ -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)

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/type-table.rkt
View File

@ -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