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

moved contracts back to contract library

Browse Source 
svn: r7367

original commit: 65cfcd572290b3a3961ac34dd8edc5204c3efb0e
This commit is contained in:
Robby Findler 2007-09-17 17:09:58 +00:00
parent a238f1e6af
commit bafb017c5e
2 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/mzlib/class.ss
View File

@ -1,9 +1,5 @@
(module class mzscheme
;; povide contracts for objects
(require "private/contract-object.ss")
(provide (all-from "private/contract-object.ss"))
;; All of the implementation is actually in private/class-internal.ss,
;; which provides extra (private) functionality to contract.ss.
(require "private/class-internal.ss")

5
collects/mzlib/contract.ss
View File

@ -1,5 +1,10 @@
(module contract mzscheme
;; povide contracts for objects
(require "private/contract-object.ss")
(provide (all-from "private/contract-object.ss"))
(require "private/contract.ss"
"private/contract-arrow.ss"
"private/contract-guts.ss"