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

Generalize fixed-length lists to listofs.

Browse Source 
Closes PR10057.

original commit: 570df7d6658d4ff0b88c12fb6d3af4917a1a3fa3
This commit is contained in:
Sam Tobin-Hochstadt 2010-07-02 12:03:20 -04:00
parent c6d892cd0f
commit 6aa8cbee9d
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/tests/typed-scheme/succeed/pr10057.rkt Normal file
View File

@ -0,0 +1,5 @@
#lang typed-scheme
(require scheme/match)
(ann (match '(a b c)
[(list sym more ...) 1]
[else 1]) Integer)