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

- added contract library to non-beginner langs to reflect documentation

Browse Source 
svn: r850
This commit is contained in:
Greg Cooper 2005-09-13 15:53:11 +00:00
parent c59acfb12b
commit a69fc0380e
3 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/plai/plai-advanced.ss
View File

@ -1,5 +1,6 @@
(module plai-advanced mzscheme (module plai-advanced mzscheme
(require (rename (lib "htdp-advanced.ss" "lang") plai-else else) (require (rename (lib "htdp-advanced.ss" "lang") plai-else else)
(lib "contract.ss" "mzlib" "private")
"private/datatype.ss" "private/datatype.ss"
"test-harness.ss") "test-harness.ss")
@ -15,6 +16,7 @@
(provide (rename advanced-type-case type-case) (provide (rename advanced-type-case type-case)
define-type define-type
require provide provide-type require provide provide-type
(all-from-except (lib "contract.ss" "mzlib" "private") contract)
(all-from "test-harness.ss")) (all-from "test-harness.ss"))
(define-type-case advanced-type-case plai-else)) (define-type-case advanced-type-case plai-else))

2
collects/plai/plai-intermediate.ss
View File

@ -1,5 +1,6 @@
(module plai-intermediate mzscheme (module plai-intermediate mzscheme
(require (rename (lib "htdp-intermediate-lambda.ss" "lang") plai-else else) (require (rename (lib "htdp-intermediate-lambda.ss" "lang") plai-else else)
(lib "contract.ss" "mzlib" "private")
"private/datatype.ss" "private/datatype.ss"
"test-harness.ss") "test-harness.ss")
@ -15,6 +16,7 @@
(provide (rename intermediate-type-case type-case) (provide (rename intermediate-type-case type-case)
define-type define-type
require provide provide-type require provide provide-type
(all-from (lib "contract.ss" "mzlib" "private"))
(all-from "test-harness.ss")) (all-from "test-harness.ss"))
(define-type-case intermediate-type-case plai-else)) (define-type-case intermediate-type-case plai-else))

4
collects/plai/plai-pretty-big.ss
View File

@ -1,6 +1,7 @@
(module plai-pretty-big mzscheme (module plai-pretty-big mzscheme
(require "private/datatype.ss" (require "private/datatype.ss"
"test-harness.ss") "test-harness.ss"
(lib "contract.ss" "mzlib" "private"))
;; This macro requires & provides bindings without ;; This macro requires & provides bindings without
;; making them locally visible: ;; making them locally visible:
@ -13,6 +14,7 @@
(provide (rename pretty-big-type-case type-case) (provide (rename pretty-big-type-case type-case)
define-type define-type
provide-type provide-type
(all-from (lib "contract.ss" "mzlib" "private"))
(all-from "test-harness.ss")) (all-from "test-harness.ss"))
(define-type-case pretty-big-type-case else)) (define-type-case pretty-big-type-case else))