Not precisely, but C-- (hard to search for!) was a C-like (or C subset?) intermediate language for compilers to generate. I found this Reddit thread that gives

Not precisely, but C-- (hard to search for!) was a C-like (or C subset?) intermediate language for compilers to generate. I found this Reddit thread that gives a bit more detail: https://www.reddit.com/r/haskell/comments/1pbbon/c_as_a_project_separate_from_ghc/ https://www.reddit.com/r/haskell/comments/1pbbon/c_as_a_proj... and the project link: https://www.cs.tufts.edu/~nr/c--/ https://www.cs.tufts.edu/~nr/c--/