Warn about unreachable code.

svn: r12146
2008-10-27 20:03:16 +00:00 · 2008-10-27 20:03:16 +00:00 · 0f347883dd
commit 0f347883dd
parent 5db61f199f
1 changed files with 2 additions and 0 deletions
--- a/collects/typed-scheme/typecheck/tc-if-unit.ss
+++ b/collects/typed-scheme/typecheck/tc-if-unit.ss
@ -52,6 +52,8 @@
      (if (null? effs)
          ;; base case
          (let* ([reachable? (not (unbox flag))])
+            (unless reachable?
+              (warn-unreachable expr))
            (cond
              ;; if flag is true, then we don't want to verify that this branch has the appropriate type
              ;; in particular, it might be (void)