typed-racket

typed-racket copied to clipboard

What version of Racket are you using? Welcome to Racket v8.16 [cs].

What program did you run?

$ racket -l typed/racket -i
> in-directory
- : (->* () ((U False Path-String) (-> Path Any)) (Sequenceof Path))
#<procedure:in-directory>
> (for ((p (in-directory #f (lambda ((_ : Path-String)) #f))))
    p)
string:1:0: Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: initial-state
  from module: for.rkt
  in: (for ((p (in-directory #f (lambda ((_ : Path-String)) #f)))) p)
 [,bt for context]

What should have happened? This form should have been evaluated successfully.

If you got an error message, please include it here.

Please include any other relevant details

$ uname -a
Linux fedora 6.13.5-102.bazzite.fc41.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Feb 28 10:23:59 UTC 2025 x86_64 GNU/Linux