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

remove contract form

Browse Source 
svn: r1391
This commit is contained in:
Matthew Flatt 2005-11-24 12:38:27 +00:00
parent 94918cee5c
commit 5e666ee64d
5 changed files with 14 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/lang/htdp-advanced.ss
View File

@ -39,8 +39,8 @@
(rename advanced-case case)
(rename advanced-delay delay)
(rename advanced-module-begin #%module-begin)
(rename advanced-contract contract)
(rename advanced-define-data define-data)
;; (rename advanced-contract contract)
;; (rename advanced-define-data define-data)
#%datum
empty true false)

5
collects/lang/htdp-beginner-abbr.ss
View File

@ -7,6 +7,7 @@
;; Implements the forms:
(require "private/teach.ss"
"private/contract-forms.ss"
"private/teachprims.ss")
;; syntax:
@ -20,11 +21,13 @@
(rename beginner-if if)
(rename beginner-and and)
(rename beginner-or or)
;; (rename beginner-contract contract)
;; (rename beginner-define-data define-data)
(rename intermediate-quote quote)
(rename intermediate-quasiquote quasiquote)
(rename intermediate-unquote unquote)
(rename intermediate-unquote-splicing unquote-splicing)
(rename #%plain-module-begin #%module-begin)
(rename beginner-module-begin #%module-begin)
#%datum
empty true false)

4
collects/lang/htdp-beginner.ss
View File

@ -25,8 +25,8 @@
(rename beginner-or or)
(rename beginner-quote quote)
(rename beginner-module-begin #%module-begin)
(rename beginner-contract contract)
(rename beginner-define-data define-data)
; (rename beginner-contract contract)
; (rename beginner-define-data define-data)
#%datum
empty true false)

5
collects/lang/htdp-intermediate-lambda.ss
View File

@ -1,6 +1,7 @@
(module htdp-intermediate-lambda mzscheme
(require "private/teach.ss"
"private/contract-forms.ss"
(lib "etc.ss")
(lib "list.ss")
(lib "docprovide.ss" "syntax"))
@ -26,7 +27,9 @@
(rename intermediate-unquote unquote)
(rename intermediate-unquote-splicing unquote-splicing)
(rename intermediate-time time)
(rename #%plain-module-begin #%module-begin)
(rename intermediate-module-begin #%module-begin)
;; (rename intermediate-contract contract)
;; (rename intermediate-define-data define-data)
#%datum
empty true false)

4
collects/lang/htdp-intermediate.ss
View File

@ -29,8 +29,8 @@
(rename intermediate-unquote-splicing unquote-splicing)
(rename intermediate-time time)
(rename intermediate-module-begin #%module-begin)
(rename intermediate-contract contract)
(rename intermediate-define-data define-data)
;; (rename intermediate-contract contract)
;; (rename intermediate-define-data define-data)
#%datum
empty true false)