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

Add test for pr14567.

Browse Source 
Closes PR 14567.
It seems that this has been already fixed.

original commit: 4aef86ce4fc74116475945c5a6ffb9348e1c65fe
This commit is contained in:
Eric Dobson 2014-07-06 17:19:59 -07:00
parent 081078b1bf
commit cb71403e77
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/pr14567.rkt Normal file
View File

@ -0,0 +1,5 @@
#lang typed/racket
(provide f)
(define-type C (Pair Number (Pair Number C)))
(: f (C -> Boolean))
(define (f x) (list? x))