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

Add `any' signature to DMdA languages.

Browse Source
This commit is contained in:
Mike Sperber 2010-09-16 18:14:34 +02:00
parent d03a7b220a
commit 9e94a327b8
5 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/deinprogramm/DMdA-advanced.rkt
View File

@ -12,7 +12,7 @@
check-expect check-within check-error check-member-of check-range check-expect check-within check-error check-member-of check-range
check-property for-all ==> expect expect-within expect-member-of expect-range check-property for-all ==> expect expect-within expect-member-of expect-range
signature contract : define-contract -> mixed one-of predicate combined list-of signature contract : define-contract -> mixed one-of predicate combined list-of
number real rational integer natural boolean true false string symbol empty-list unspecific property) number real rational integer natural boolean true false string symbol empty-list unspecific any property)
(provide cons) (provide cons)
(provide-and-document (provide-and-document
procedures procedures

2
collects/deinprogramm/DMdA-assignments.rkt
View File

@ -12,7 +12,7 @@
check-expect check-within check-error check-member-of check-range check-expect check-within check-error check-member-of check-range
check-property for-all ==> expect expect-within expect-member-of expect-range check-property for-all ==> expect expect-within expect-member-of expect-range
signature contract : define-contract -> mixed one-of predicate combined list-of signature contract : define-contract -> mixed one-of predicate combined list-of
number real rational integer natural boolean true false string empty-list unspecific property) number real rational integer natural boolean true false string empty-list unspecific any property)
(provide cons) (provide cons)
(provide-and-document (provide-and-document
procedures procedures

2
collects/deinprogramm/DMdA-beginner.rkt
View File

@ -8,7 +8,7 @@
check-expect check-within check-error check-member-of check-range check-expect check-within check-error check-member-of check-range
check-property for-all ==> expect expect-within expect-member-of expect-range check-property for-all ==> expect expect-within expect-member-of expect-range
signature contract : define-contract -> mixed one-of predicate combined signature contract : define-contract -> mixed one-of predicate combined
number real rational integer natural boolean true false string empty-list property) number real rational integer natural boolean true false string empty-list any property)
(provide cons list) (provide cons list)
(provide-and-document (provide-and-document
procedures procedures

2
collects/deinprogramm/DMdA-vanilla.rkt
View File

@ -8,7 +8,7 @@
check-expect check-within check-error check-member-of check-range check-expect check-within check-error check-member-of check-range
check-property for-all ==> expect expect-within expect-member-of expect-range check-property for-all ==> expect expect-within expect-member-of expect-range
signature contract : define-contract -> mixed one-of predicate combined list-of signature contract : define-contract -> mixed one-of predicate combined list-of
number real rational integer natural boolean true false string empty-list property) number real rational integer natural boolean true false string empty-list any property)
(provide cons) (provide cons)
(provide-and-document (provide-and-document
procedures procedures

2
collects/deinprogramm/DMdA.rkt
View File

@ -38,6 +38,7 @@
string symbol string symbol
empty-list empty-list
unspecific unspecific
any
property) property)
(define-syntax provide/rename (define-syntax provide/rename
@ -909,6 +910,7 @@
(define empty-list (signature (one-of empty))) (define empty-list (signature (one-of empty)))
(define unspecific (signature (predicate (lambda (_) #t)))) (define unspecific (signature (predicate (lambda (_) #t))))
(define any (signature (predicate (lambda (_) #t))))
;; aus collects/lang/private/teach.ss ;; aus collects/lang/private/teach.ss