purescript/purescript — pull request #726 by paf31 (2014-11-24 04:26:26+00:00)
Title: Fix #725

@joneshf @garyb Please review ...

Thanks.