Minor refactoring to use #:when in a match clause

2015-02-13 00:12:14 -05:00 · 2015-02-13 00:12:14 -05:00 · d77044f902
commit d77044f902
parent 52cc284d87
1 changed files with 1 additions and 3 deletions
--- a/typed-racket-lib/typed-racket/typecheck/error-message.rkt
+++ b/typed-racket-lib/typed-racket/typecheck/error-message.rkt
@ -44,9 +44,7 @@
  (define r2 (resolve t2))
  (match* (r1 r2)
    [((F: s1) (F: s2))
-     (=> fail)
-     (unless (string=? (symbol->string s1) (symbol->string s2))
-       (fail))
+     #:when (string=? (symbol->string s1) (symbol->string s2))
     ;; FIXME: this case could have a better error message that, say,
     ;;        prints the binding locations of each type variable.
     (type-mismatch (format "`~a'" t1) (format "a different `~a'" t2)