cminusminus.org does not have a link to the spec

[Simon Peyton Jones]

Sergei

C-- was originally envisaged as a target language for a variety of compilers.  But in fact LLVM, which was developed at a similar time, "won" that race and has built a far larger ecosystem.  That's fine with us -- it's great how successful LLVM has been -- but it means that C-- is now used essentially only in GHC.

I'm not sure where the original C-- documents now are; Norman can you say? (I do know that the cminusminus.org has lapsed.)  

The GHC variant of C-- is defined mainly by the Cmm data type in GHC's source code.  It does have a concrete syntax, because some bits of GHC's runtime system are written in Cmm. But I fear that this concrete language is not well documented.  (Simon Marlow may know more here.)

Because GHC's Cmm is part of GHC, we are free to change it.  Would you like to say more about the change you want to make, and why you want to make it?  Is this relating directly to GHC or to some other project?

Simon


| -----Original Message-----
| From: Sergei Trofimovich [mailto:slyich at gmail.com]
| Sent: 14 September 2014 17:16
| To: Simon Peyton Jones
| Subject: cminusminus.org does not have a link to the spec
| 
| Hello Simon!
| 
| I had a plan to tweak a bit "import" statement
| syntax of Cmm in GHC.
| 
| Namely, to distinct between
|     import some_c_function;
|     import some_c_global_variable;
| 
| To try it I first attempted to find latest c-- spec
| (to find some design sketches if available) at
| 
|     http://www.cminusminus.org/c-downloads/
| 
| But seems the links (and images?) have gone away
| as well as rsync server described at:
| 
|     http://www.cminusminus.org/the-c-rsync-server/
| 
| Maybe you could forward it to site admins so they would
| tweak links or point me to working copy.
| 
| Apologies for bothering you on such minor
| 
| Thank you!
| 
| --
| 
|   Sergei