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

Add `warn-unreachable'

Browse Source 
svn: r12145

original commit: 5db61f199fff5b2a8c0d8595de984184336a5bac
This commit is contained in:
Sam Tobin-Hochstadt 2008-10-27 20:02:34 +00:00
parent c988220e11
commit f24c93b475
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
collects/typed-scheme/utils/tc-utils.ss
View File

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