idris-lang/Idris-dev — pull request #1535 by markuspf (2014-09-22 11:01:41+00:00)
Title: Negate

Note that this breaks all backends except the C backend (which I fixed).

What is needed to make them work again is implement prim__negFloat to negate the given float argument. I'll commit a fix to the LLVM backend (idris-hackers/idris-llvm) this afternoon.