TR History

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

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