moved contracts back to contract library
svn: r7367
This commit is contained in:
parent
cae0931777
commit
65cfcd5722
|
@ -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")
|
||||
|
|
|
@ -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"
|
||||
|
|
Loading…
Reference in New Issue
Block a user