Add test for pr14567.
Closes PR 14567. It seems that this has been already fixed.
This commit is contained in:
parent
1b4d727ed7
commit
4aef86ce4f
|
@ -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))
|
Loading…
Reference in New Issue
Block a user