From d96ef32a30659cf2d7ffa7f612afe2959e104a54 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Sun, 26 May 2013 00:18:08 -0700 Subject: [PATCH] Remove unused feature. original commit: 18bddbacd28e4c03f5c8fc7fbb924de8963bb80f --- collects/tests/typed-racket/unit-tests/typecheck-tests.rkt | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt b/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt index 9a6a7dd4..b127e08f 100644 --- a/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt +++ b/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt @@ -96,8 +96,7 @@ (begin-for-syntax (define-splicing-syntax-class return (pattern ty:expr #:attr v #'(ret ty)) - (pattern (~seq #:ret r:expr) #:attr v #'r) - (pattern (~seq ty:expr f:expr o:expr) #:attr v #'(ret ty f o))) + (pattern (~seq #:ret r:expr) #:attr v #'r)) (define-splicing-syntax-class expected (pattern (~seq #:expected v:expr))