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

Fix use of expected type of ignore expressions.

Browse Source
This commit is contained in:
Eric Dobson 2014-03-21 23:45:08 -07:00
parent 8de32baf28
commit ca082c2176
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt
View File

@ -244,7 +244,7 @@
(register-ignored! form) (register-ignored! form)
(check-subforms/ignore form) (check-subforms/ignore form)
;; We trust ignore to be only on syntax objects objects that are well typed ;; We trust ignore to be only on syntax objects objects that are well typed
expected] (ret -Bottom)]
;; explicit failure ;; explicit failure
[t:typecheck-failure [t:typecheck-failure
(explicit-fail #'t.stx #'t.message #'t.var)] (explicit-fail #'t.stx #'t.message #'t.var)]