Re: [racket-users] Confusing typed/racket error message

Yes, that's definitely a bad error message, so we should try to improve Typed Racket here. Sam On Tue, Oct 3, 2017 at 12:54 PM, Taahir Ahmed wrote: > Of course it's something simple like that. You are correct, I changed > it to `#:replacement?` and then the program

Re: [racket-users] Confusing typed/racket error message

Of course it's something simple like that. You are correct, I changed it to `#:replacement?` and then the program typechecked and ran. It would be helpful if the error message showed me that I was passing extra arguments in the domain of the function, but at least now I know what was happening.

Re: [racket-users] Confusing typed/racket error message

Hi Taahir, The keyword is #:replacement? instead of #:replacement (note the question mark). I don't know enough Typed Racket to understand that error message tho, sorry. Cheers, Shu-Hung On Tue, Oct 3, 2017 at 1:40 AM, Taahir Ahmed wrote: > Hi, > > I have been

[racket-users] Confusing typed/racket error message

Hi, I have been implementing some toy problems in typed/racket. However, I have hit a wall while trying to invoke `(random-sample)`. This example program: #lang typed/racket (require typed/racket/random) (define (example (limit : Integer) (count : Integer)) : (Listof