C-- specfication

[Ben Lippmeier]

On 3 May 2014, at 20:30 , Ben Lippmeier <benl at ouroborus.net> wrote:

> 
> On 3 May 2014, at 20:05 , Florian Weimer <fw at deneb.enyo.de> 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.