diff --git a/collects/typed-scheme/utils/tc-utils.ss b/collects/typed-scheme/utils/tc-utils.ss
index 132b2206..def71a74 100644
--- a/collects/typed-scheme/utils/tc-utils.ss
+++ b/collects/typed-scheme/utils/tc-utils.ss
@@ -30,6 +30,18 @@
 
 (define check-unreachable-code? (make-parameter #f))
 
+(define warn-unreachable? (make-parameter #t))
+
+(define (warn-unreachable e)
+  (let ([l (current-logger)])
+    (when (and (warn-unreachable?)
+               (log-level? l 'warning)
+               (printf "~a~n~a~n" (syntax-source-module e) (syntax-source-module (orig-module-stx)))
+               (eq? (syntax-source-module e) (syntax-source-module (orig-module-stx)))               
+               #;(syntax-source-module e))
+      (log-message l 'warning (format "Typed Scheme has detected unreachable code: ~e" (syntax->datum (locate-stx e)))
+                   e))))
+
 (define (locate-stx stx)
   (define omodule (orig-module-stx))
   (define emodule (expanded-module-stx))