srfi 63 make-shared-array contract fix (from Chongkai)

svn: r6425
This commit is contained in:
Matthew Flatt 2007-05-31 05:06:49 +00:00
parent 44a49ff272
commit 321c489ef5

View File

@ -332,9 +332,10 @@
(make-shared-array
(->* (array?
(unconstrained-domain-> natural-number/c))
(unconstrained-domain-> (listof natural-number/c)))
(listof natural-number/c)
any))
(list->array
(->r ((rank natural-number/c)
(proto array?)