idris-lang/Idris-dev — pull request #1086 by ziman (2014-04-20 14:07:59+00:00)
Title: Add an erasure postulate for unsafePerformPrimIO

Fixes christiansen's quickcheck trouble.