Purescript [http://purescript.org] release 0.5.7.1
Merge pull request #4741 from dysinger/purescript-0.5.7.1

Purescript [http://purescript.org] release 0.5.7.1