Use gender-neutral language

[pcbro]

Fixes inconsiderate comment

[cwillmor]

I think this is supposed to say "Type check each VarDecl that this PatternBinding handles.".

[jeeftor]

@cwillmor good point. I think this is a bad PR

[tangentfairy-zz]

I think this is hilarious but @cwillmor is right and it is just a typo. We have to appreciate @pcbro's sense of humour though 😛

[HealsCodes]

@tangentfairy - I'm not sure it's humor at all.. look here #165

[jcfrancisco]

@Shirk The user @pcbro is definitely trying to get a rise out of someone -- the account is fashioned after the character "PC Principal" in South Park, who's somewhat of a caricature of an politically correct person. This doesn't mean the PRs should be ignored, but the intent behind them is pretty clear to me.

[przemekblasiak]

It appears to me somebody just wants to become a contributor really bad.

[jckarter]

I think @cwillmor's right that the typo is different. Eliminating pointless gendered language in general is welcome though. (Comments like "get a grip", "this doesn't matter", and other silencing tactics are disrespectful and definitely aren't welcome.)

[tangentfairy-zz]

Completely agree with you @jckarter 😄

[AdamHess]

@pcbro is just being a troll

[benlangmuir]

This was fixed per @cwillmor's suggestion as part of #186.

[jckarter]

@AdamHess Remember Poe's law. If their contribution is helpful and aligned with our goals, who's really getting trolled?

[AdamHess]

@jckarter this is not @pcbro first pull request to this repo. Additionally, it's NOT helpful it's a typo. @pcbro is not being helpful by pointing out typos but making uneducated fun of various programming terminology and practices see earlier pull request: #165 I cant beleive that the project maintainers even merged the request.

[AdamHess]

God I just realized @jckarter is working in cahoots with @pcbro ... so its basically apple trolling the dev community. Good job.

[hirad]

@AdamHess @pcbro's entire account is referencing a South Park parody of SJWs. I think you're right. I don't understand why he's taken seriously.

[steveklabnik]

@jckarter exactly, 👍

[AdamHess]

@hirad I'm well aware of it. The problem is that his pull requests are being accepted and merged into the master branch.

[jckarter]

I think we're done here.