purescript/purescript — pull request #472 by garyb (2014-07-10 19:36:00+00:00)
Title: Remove unnecessary bindName(s)

I thought we'd already done this actually? Maybe it was in ps-in-ps.

(`bindName` is unnecessary now since the thing this fixed is now handled in desugaring.)