3 May
2014
3 May
'14
10:33 a.m.
On 3 May 2014, at 20:30 , Ben Lippmeier <benl@ouroborus.net> wrote:
On 3 May 2014, at 20:05 , Florian Weimer <fw@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?
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.