[racket-users] Contracts for generic interfaces (or struct type properties?)

I'm running into trouble in trying to give contracts to methods from generic interfaces (in the sense of racket/generic) that assign blame to the implementor of a bad method implementation. This seems like it's probably a common problem, so I'm hoping a solution exists. For an example, consider

Re: [racket-users] Porting additional functions for vectors, sequences, hashes etc. to Typed Racket

On Monday, May 22, 2017 at 6:14:01 PM UTC+5:30, Matthias Felleisen wrote: > Could you list the functions you’re missing? > > > > > On May 22, 2017, at 5:38 AM, Sourav Datta wrote: > > > > Is there any ongoing or planned effort to port additional functions > >

Re: [racket-users] Porting additional functions for vectors, sequences, hashes etc. to Typed Racket

Could you list the functions you’re missing? > On May 22, 2017, at 5:38 AM, Sourav Datta wrote: > > Is there any ongoing or planned effort to port additional functions available > for vectors, sequences etc. to TR? Many of these functions are very useful > while

[racket-users] Porting additional functions for vectors, sequences, hashes etc. to Typed Racket

Is there any ongoing or planned effort to port additional functions available for vectors, sequences etc. to TR? Many of these functions are very useful while writing code which uses things beyond normal Lists and it seems we have to manually require/typed for each individual program.

[racket-users] raco docs error on macOS 10.12.5

Hi all, running `raco docs` in the terminal on macOS 10.12.5 gives this: ➜ c raco docs 0:65: execution error: "file:///Applications/Racket%20v6.9/doc/index.html" doesn’t understand the “open location” message. (-1708) browser-run: process execute failed: '(# "-e" "open location

Re: [racket-users] Re: Type Racket command-line #:ps causing type error

Cool thanks for the clarification Vincent! On Monday, May 22, 2017 at 9:39:15 AM UTC-7, Vincent St-Amour wrote: > Hi Kay, > > On Sun, 21 May 2017 23:30:50 -0500, > kay wrote: > > > > Hi Vincent, > > > > Thanks for fixing it. Is there a Github commit that you can refer me > > to? Or does Racket

Re: [racket-users] raco docs error on macOS 10.12.5

Hi Vitaliy, I believe this should be fixed now, but the fix was not in 6.9, hence the error you're seeing. If you want to try it, you can get a nightly build at pre.racket-lang.org 6.10 is due in July, and will include the fix. Thanks for the report, and please do let us know if the problem

Re: [racket-users] Re: Type Racket command-line #:ps causing type error

Hi Kay, On Sun, 21 May 2017 23:30:50 -0500, kay wrote: > > Hi Vincent, > > Thanks for fixing it. Is there a Github commit that you can refer me > to? Or does Racket development actually happen on Github? Yes, Racket development does happen on github. The relevant commit is this one: