>>8
It's meant to be an intermediate language for compilers in general. It was invented by Simon Peyton Jones, Thomas Nordin, and Dino Oliva for GHC and is still used today. They don't really use it how you would assume, since they just construct it in terms of Haskell datatypes and basically contain multiple C-- compilers internally.