From 5f35f447b5e6772b4686c8be3d55dd18958ffa4b Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 1 Feb 2016 14:43:13 -0500 Subject: [PATCH] TR History --- typed-racket-lib/typed-racket/HISTORY.txt | 6 ++++++ typed-racket-lib/typed-racket/utils/tc-utils.rkt | 2 +- 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/HISTORY.txt b/typed-racket-lib/typed-racket/HISTORY.txt index 9f96294d..2655e81d 100644 --- a/typed-racket-lib/typed-racket/HISTORY.txt +++ b/typed-racket-lib/typed-racket/HISTORY.txt @@ -1,3 +1,9 @@ +6.4 +- Contract performance improvements, including generating code that + the contract system can optimize +- Make `any-wrap/c` more permissive on opaque structs. +- Soundly check opaque predicates. +- Add `#:type-name` option to `struct`. 6.3 - Startup time reduction - Tightening and cleanup of numeric types diff --git a/typed-racket-lib/typed-racket/utils/tc-utils.rkt b/typed-racket-lib/typed-racket/utils/tc-utils.rkt index 0dd3612e..4d6bb0b6 100644 --- a/typed-racket-lib/typed-racket/utils/tc-utils.rkt +++ b/typed-racket-lib/typed-racket/utils/tc-utils.rkt @@ -74,7 +74,7 @@ don't depend on any other portion of the system (when (and (warn-unreachable?) (log-level? l 'warning) (and (syntax-transforming?) - (syntax-original? (syntax-local-introduce e))) + #;(syntax-original? (syntax-local-introduce e))) #;(and (orig-module-stx) (eq? (debugf syntax-source-module e) (debugf syntax-source-module (orig-module-stx))))