some improvement in eliminating procedure? and procedure-arity-includes? statically

svn: r14723

original commit: 4623a1ac07efa6a7103ed85f5b23433f9338d6ae
This commit is contained in:
Matthew Flatt 2009-05-05 19:22:55 +00:00
parent 6e17858d63
commit 4f812fbd03

View File

@ -1,7 +1,7 @@
#lang mzscheme
(require mzlib/etc
mzlib/contract
scheme/contract
mzlib/list
"private/port.ss")