Interesting … I notice that most of the papers are co-authored by Simon Peyton Jones, who is IIRC one of the creators of Haskell(?)
[After skimming one of the papers] This seems like a great idea. This project clearly predated LLVM, but C— could still be a good abstraction layer between a compiler front-end and LLVM. Admittedly I haven’t used the LLVM C++ API, but I’ve looked at it; I’m guessing that in many cases it would be simpler to emit C— code. And obviously more portable, for compilers not implemented in C++.
Haskell’s GHC uses a fork of C– as a backend, IIRC as an IR before LLVM.
This website is wildly out-of-date (and among the pages is a note that many of the links have been broken since 2008). I found this archive of Quick C–; is anyone aware of up-to-date links to code for any other pieces of C– (if there are any? I’m struggling to find if there are others…)?
All the best,
Descendants of C++ are still alive in both GHC and OCaml. It’s just that C– didn’t survive as an independent project and Quick C–/GHC version/OCaml version diverged.
From what I can tell it’s not that the website is out of date, it’s just that the project has been abandoned and nothing’s happened since the website was last updated. I just submitted it because it looked like an interesting project with some cool ideas.