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

..

Browse Source 
original commit: 63578a0960c6f990ff7319810b63ca1122a13ce2
This commit is contained in:
Robby Findler 2003-01-24 00:21:18 +00:00
parent 29345beb2b
commit 42c6cb30b1
2 changed files with 15 additions and 2195 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2198
collects/mzlib/class.ss
View File

File diff suppressed because it is too large Load Diff

12
collects/mzlib/contracts.ss
View File

@ -818,7 +818,7 @@
(define (class-contract/proc stx)
(syntax-case stx ()
[(_ (method-specifier meth-name meth-contract) ...)
[(form (method-specifier meth-name meth-contract) ...)
(and
(andmap method-specifier? (syntax->list (syntax (method-specifier ...))))
(andmap identifier? (syntax->list (syntax (meth-name ...)))))
@ -856,7 +856,11 @@
(make-override-method-contract-declaration meth-name meth-contract-var)))
val-meth-names
val-meth-contract-vars
val-publics?)])
val-publics?)]
[this (datum->syntax-object (syntax form) 'this stx)]
[super-init (datum->syntax-object (syntax form) 'super-instantiate stx)]
[super-make (datum->syntax-object (syntax form) 'super-make-object stx)])
(syntax/loc stx
(let ([meth-contract-var meth-contract] ...)
(make-contract
@ -882,13 +886,13 @@
(error 'class-contract "method ~a is declared as a public method in ~e, but isn't" 'meth-name val))))
...)
(class val
(class*/names-sneaky (this super-init super-make) val ()
method-contract-declarations ...
(rename [super-meth-name meth-name] ...)
method ...
(super-instantiate ())))
(super-init ())))
(lambda x (error 'impl-contract "unimplemented")))))))]
[(_ (meth-specifier meth-name meth-contract) ...)
(for-each (lambda (specifier name)