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

Remove unused feature.

Browse Source 
original commit: 18bddbacd28e4c03f5c8fc7fbb924de8963bb80f
This commit is contained in:
Eric Dobson 2013-05-26 00:18:08 -07:00
parent 83e278386c
commit d96ef32a30
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
View File

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