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
/home/ben/code/racket/fork/extra-pkgs/typed-racket/typed-racket-lib/typed/untyped-utils.rkt:64:13:
Type Checker: missing type for identifier;
consider using `require/typed' to import it
identifier: check-array-shape2
from module: test-ruc-server.rkt
in: (define check-array-shape check-array-shape2)
let require/untyped-contract know what language the server is using
use unsafe-require/typed somehow inside require/untyped-contract --- which probably means we need to fix unsafe-require/typed to work for optional/shallow => deep
What version of Racket are you using?
Welcome to Racket v8.6.0.9 [cs].
What program did you run?
This program is ok with normal TR and not okay for shallow, optional, and no-check
server.rkt
main.rkt
What should have happened?
No error
If you got an error message, please include it here.
Shallow
no-check
PS thanks to @Rscho314 for the report in racket/math#75
The text was updated successfully, but these errors were encountered: