Add testcase.
Closes PR 12812.
This commit is contained in:
parent
f3fdd5c1d7
commit
d7f12d93f4
|
@ -1622,6 +1622,9 @@
|
|||
(ann
|
||||
((letrec ((x (lambda (acc #{ v : Symbol}) (if v (list v) acc)))) x) null (list 'bad 'prog))
|
||||
(Listof Symbol))]
|
||||
[tc-e (filter values empty)
|
||||
(-lst -Bottom)]
|
||||
|
||||
)
|
||||
(test-suite
|
||||
"check-type tests"
|
||||
|
|
Loading…
Reference in New Issue
Block a user