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

svn: r1605

Browse Source
This commit is contained in:
Kathy Gray 2005-12-13 00:02:53 +00:00
parent 08b57461d7
commit 93bab6de21
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/profj/doc.txt
View File

@ -103,7 +103,8 @@ Known bugs for dynamic:
dynamic x = ic;
C c = (C) x;
In this program, the cast of x to C will fail, even though the value is an intstanceof C.
These issues will be addressed in future versions.
These issues will be addressed in future versions.
Some assignments (with implicit downcasts) will also fail.
_Libraries available to ProfessorJ:

2
collects/profj/to-scheme.ss
View File

@ -765,7 +765,7 @@
(raise (make-exn:fail
(string->immutable-string
(format "~a broke the contract with ~a here, expected an object with a method ~a accepting ~a args"
n p method-name num-args)) s)))))
n p method-name num-args)) c)))))
(and ,@(map method->check/error
(filter (lambda (m) (not (eq? 'ctor (method-record-rtype m)))) wrapped-methods))))
#;(c:contract ,(methods->contract (filter (lambda (m) (not (eq? 'ctor (method-record-rtype m))))