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

contract opting should not be provided for release.

Browse Source 
svn: r4795

original commit: dfaad3f28a628ff3494f1e65b0dbe4a9fa9c180c
This commit is contained in:
Shu-Yu Guo 2006-11-06 20:45:47 +00:00
parent f71da72753
commit f951648456
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/mzlib/contract.ss
View File

@ -8,9 +8,9 @@
"private/contract-basic-opters.ss")
(provide
(all-from "private/contract-opt.ss")
(all-from "private/contract-opt-guts.ss")
(all-from-except "private/contract-opt-guts.ss"
;; opt is not ready yet
#;(all-from "private/contract-opt.ss")
#;(all-from-except "private/contract-opt-guts.ss"
make-opt-contract
orig-ctc-prop
orig-ctc-pred?