[plt-scheme] box contract

From: Mike T. Machenry (dskippy at ccs.neu.edu)
Date: Wed Jul 24 15:22:59 EDT 2002

Is there a proper way to contract a box to be a specific type of box?

;;i could easily contract it as such
(provide/contract
  (number-changer (box? . -> . void?)))

;;this has more desirable expresability
(provide/contract
  (number-changer ((box-of number?) . -> . void?)))


-mike



Posted on the users mailing list.