suzanne.soy/racket
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
This commit is contained in:
Shu-Yu Guo 2006-11-06 20:45:47 +00:00
parent 43e7135380
commit dfaad3f28a
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") "private/contract-basic-opters.ss")
(provide (provide
(all-from "private/contract-opt.ss") ;; opt is not ready yet
(all-from "private/contract-opt-guts.ss") #;(all-from "private/contract-opt.ss")
(all-from-except "private/contract-opt-guts.ss" #;(all-from-except "private/contract-opt-guts.ss"
make-opt-contract make-opt-contract
orig-ctc-prop orig-ctc-prop
orig-ctc-pred? orig-ctc-pred?