Fix misuse of expected in tc-send.
This commit is contained in:
parent
cf713b7030
commit
8de32baf28
|
@ -28,7 +28,7 @@
|
|||
retval)]
|
||||
[(tc-result1: t) (int-err "non-symbol methods not supported by Typed Racket: ~a" t)])]
|
||||
[(tc-result1: t) (tc-error/expr/fields
|
||||
#:return (or expected (ret -Bottom))
|
||||
#:return (ret -Bottom)
|
||||
"send: type mismatch"
|
||||
"expected" "an object"
|
||||
"given" t)]))
|
||||
|
|
|
@ -104,6 +104,10 @@
|
|||
(define/public (m x) (n))))
|
||||
(void))
|
||||
-Void]
|
||||
;; Send to non object
|
||||
[tc-err (send 4 m 3)
|
||||
#:ret (ret (-val 5))
|
||||
#:expected (ret (-val 5) -no-filter -no-obj)]
|
||||
;; Field access via get-field
|
||||
[tc-e (let ()
|
||||
(: j% (Class (field [n Integer])
|
||||
|
|
Loading…
Reference in New Issue
Block a user