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

- refactored opt/c to its own struct/prop

Browse Source 
- moved opters next to their respective original contracts where possible
  - the rest moved to contract-basic-opters.ss to avoid module cycle
- fixed some typos

svn: r4774

original commit: bd0b34a9ac5b16ac08bc86bf0624f18982575b80
This commit is contained in:
Shu-Yu Guo 2006-11-04 05:02:57 +00:00
parent 8fc5a9f478
commit 3ad9a94b46
1 changed files with 17 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
collects/mzlib/contract.ss
View File

@ -3,17 +3,27 @@
"private/contract-arrow.ss"
"private/contract-guts.ss"
"private/contract-ds.ss"
"private/contract-opt-guts.ss"
"private/contract-opt.ss"
"private/contract-opters.ss" ;; loaded for its effect -- registering the opters
)
"private/contract-basic-opters.ss")
(provide
; (all-from "private/contract-opt.ss") ;; not yet
(all-from "private/contract-opt.ss")
(all-from "private/contract-opt-guts.ss")
(all-from-except "private/contract-opt-guts.ss"
make-opt-contract
orig-ctc-prop
orig-ctc-pred?
orig-ctc-get)
(all-from "private/contract-ds.ss")
(all-from "private/contract-arrow.ss")
(all-from-except "private/contract-arrow.ss"
check-procedure)
(all-from-except "private/contract-guts.ss"
build-compound-type-name
first-order-prop
first-order-get)
(all-from "private/contract.ss")))
first-order-get
check-flat-contract
check-flat-named-contract)
(all-from-except "private/contract.ss"
check-between/c
check-unary-between/c)))