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

Add test case for issue #215.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2015-10-27 17:11:15 -04:00
parent ea6968f1d9
commit cb35383143
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
typed-racket-test/succeed/match-or.rkt Normal file
View File

@ -0,0 +1,7 @@
#lang typed/racket
(: f : (Listof Integer) (Listof Integer) → Integer)
(define (f xs ys)
(match* (xs ys)
[((list a b) (or (list a b) (list b a))) (+ a b)]
[(_ _) 42]))