You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
; test.rkt:7:5: Type Checker: missing type for identifier;
; consider using `require/typed' to import it
; identifier: with-check-info*
; from module: check-info.rkt
; in: (with-check-info (((quote current-element) elt)) (check-pred odd? elt))
...
and other similar errors for make-check-info and provide/contract-id-syntax->location (which I've only seen references to on racket/typed-racket#989).
I've poked around for a fix but haven't found a solution yet. If you can point me in the right direction, I can try to make a patch.
The text was updated successfully, but these errors were encountered:
Given the following program on Racket v8.6 [cs]:
The following error is generated at compile time:
and other similar errors for
make-check-info
andprovide/contract-id-syntax->location
(which I've only seen references to on racket/typed-racket#989).I've poked around for a fix but haven't found a solution yet. If you can point me in the right direction, I can try to make a patch.
The text was updated successfully, but these errors were encountered: