Re: [racket-users] Style guide linter

Oh, yes: I agree with *very cool*! Robby On Sun, Mar 11, 2018 at 3:58 PM, Matthias Felleisen wrote: > > On Mar 11, 2018, at 4:33 PM, 'Paulo Matos' via Racket Users > wrote: > > Hi, > > I found the style guide a really great idea and

Re: [racket-users] Style guide linter

> On Mar 11, 2018, at 4:33 PM, 'Paulo Matos' via Racket Users > wrote: > > Hi, > > I found the style guide a really great idea and generally very useful > (although it's a shame the lack of content on the section of classes). Well, I thought of writing one

Re: [racket-users] Style guide linter

At least for those three, DrRacket does the 102 thing for you and git does the line/file ending thing. Robby On Sun, Mar 11, 2018 at 3:33 PM, 'Paulo Matos' via Racket Users wrote: > Hi, > > I found the style guide a really great idea and generally very useful >

[racket-users] Style guide linter

Hi, I found the style guide a really great idea and generally very useful (although it's a shame the lack of content on the section of classes). I have started a small script to check source code style based on the style guide. Simple things like spaces at the end of lines, lack of newline at