Re: [racket-users] Mysterious multiple values in a typed-racket program

On 5/9/20, Hendrik Boom wrote: > I get the message > > readspec.rkt:195:8: Type Checker: Expression should produce 3 values, but > produces 1 values of types String in: (for/set : (Setof String) (((l : > String) (cast (in-lines input-port) (Sequenceof String (cast > (string-trim l) String)) >

[racket-users] Mysterious multiple values in a typed-racket program

I get the message readspec.rkt:195:8: Type Checker: Expression should produce 3 values, but produces 1 values of types String in: (for/set : (Setof String) (((l : String) (cast (in-lines input-port) (Sequenceof String (cast (string-trim l) String)) from the following function: (define