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

Arity bugs identified by the optimizer

Browse Source 
svn: r10820
This commit is contained in:
Kathy Gray 2008-07-17 16:07:44 +00:00
parent a88d8487d4
commit 593e6256d2
3 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/profj/check.ss
View File

@ -1201,7 +1201,7 @@
(when (ref-type? type) (when (ref-type? type)
(add-required c-class (ref-type-class/iface type) (ref-type-path type) type-recs)) (add-required c-class (ref-type-class/iface type) (ref-type-path type) type-recs))
(when (eq? 'string type) (when (eq? 'string type)
(add-required c-class "String" '("java" "lang"))) (add-required c-class "String" '("java" "lang") type-recs))
(when (and in-env? (not (properties-field? (var-type-properties in-env?)))) (when (and in-env? (not (properties-field? (var-type-properties in-env?))))
(illegal-redefinition (field-name local) (field-src local))) (illegal-redefinition (field-name local) (field-src local)))
(if is-var-init? (if is-var-init?
@ -2296,7 +2296,7 @@
(member s `("if" "return")))) (member s `("if" "return"))))
(define (error-file-exists? class type-recs) #f) (define (error-file-exists? class type-recs) #f)
(define (call-provided-error) null) (define (call-provided-error a b c) null)
;check-method-args: (list type) (list type) id type src type-records -> void ;check-method-args: (list type) (list type) id type src type-records -> void
(define (check-method-args args atypes name exp-type src type-recs) (define (check-method-args args atypes name exp-type src type-recs)
@ -2946,7 +2946,7 @@
(when (eq? actual-t 'void) (when (eq? actual-t 'void)
(check-rand-type-error 'void level actual-t er-ts (expr-src actual))) (check-rand-type-error 'void level actual-t er-ts (expr-src actual)))
(when (null? er-ts) (when (null? er-ts)
(check-rand-type-error 'empty level actual-t src)) (check-rand-type-error 'empty level actual-t 'none src))
(and (and
(andmap (andmap

2
collects/profj/parsers/parse-error.ss
View File

@ -2510,7 +2510,7 @@
(if (close-to-keyword? tok 'within) (if (close-to-keyword? tok 'within)
(parse-error (parse-error
(format "Expected 'within' for range of check, found ~a which is similar to 'within'. Check capitolization and spelling." (format "Expected 'within' for range of check, found ~a which is similar to 'within'. Check capitolization and spelling."
out)) out) ps end)
cur-tok)))) cur-tok))))
((name) ((name)
(case kind (case kind

4
collects/profj/types.ss
View File

@ -214,8 +214,8 @@
((and (not from-record) to-record (class-record-class? to-record)) ((and (not from-record) to-record (class-record-class? to-record))
(type=? object-type to)) (type=? object-type to))
((and (not from-record) to-record) ((and (not from-record) to-record)
(or (type=? serializable-type to type-recs) (or (type=? serializable-type to)
(type=? cloneable-type to type-recs))) (type=? cloneable-type to)))
(else (else
(or (type=? (array-type-type to) (array-type-type from)) (or (type=? (array-type-type to) (array-type-type from))
(castable? (array-type-type from) (castable? (array-type-type from)