Re: C-- specfication

On 3 May 2014, at 20:30 , Ben Lippmeier wrote:

On 3 May 2014, at 20:05 , Florian Weimer wrote:

...

I'm looking for a specification of C--. I can't find it on the cminuscminus.org web site, and it's also not included in the release tarball. Does anybody know where to get it?

Ka-ching: http://www.cs.tufts.edu/~nr/c--/extern/man2.pdf

Note that GHC doesn't actually implement C-- as per the spec. It's got an intermediate language named Cmm that is "inspired by" C--, but they're not the same thing. Ben.