suzanne.soy/compatibility
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

re arranged the file names in the contract library and exported a few more things from the main library to satisfy plai

Browse Source 
svn: r2488

original commit: 5e2f5d86de468a7bf10ba16adb86d26e6a98e1c0
This commit is contained in:
Robby Findler 2006-03-23 17:22:26 +00:00
parent fc3586a331
commit 036e11d4be
1 changed files with 3 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
collects/mzlib/contract.ss
View File

@ -1,17 +1,13 @@
(module contract mzscheme
(require "private/contract.ss"
"private/contract-arrow.ss"
"private/contract-util.ss"
"private/contract-guts.ss"
"private/contract-ds.ss")
(provide
(all-from "private/contract-ds.ss")
(all-from "private/contract-arrow.ss")
(all-from-except "private/contract-util.ss"
raise-contract-error
contract-proc
make-contract
contract-proc
(all-from-except "private/contract-guts.ss"
build-compound-type-name)
(all-from-except "private/contract.ss")))
(all-from "private/contract.ss")))