From d77044f902a4ad8460af910283e046e82cb4a0ae Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Fri, 13 Feb 2015 00:12:14 -0500 Subject: [PATCH] Minor refactoring to use #:when in a match clause --- typed-racket-lib/typed-racket/typecheck/error-message.rkt | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/typed-racket-lib/typed-racket/typecheck/error-message.rkt b/typed-racket-lib/typed-racket/typecheck/error-message.rkt index bbac5e2c..6b3b8ec6 100644 --- 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)