[Haskell-cafe] Re: [fp-embedded] Which Haskell DSL for writing C? (Was ANN: Copilot 0.22 -- A stream DSL for writing embedded C.)

[Lee Pike]

>> The best reference for Copilot's constraints is this paper: <http://www.cs.indiana.edu/~lepike/pub_pages/rv2010.html>.
> 
> Non-Haskell programmers should note that paper has a few typos (Lee,
> please correct me if I'm mistaken).  Section 4.1 is where I'm at so
> far and I see missing backticks (shoulld be `implies`) and missing
> parenthesis in "drop 2 (var temps)".

Sorry it wasn't clear in the paper: the language snippets in there aren't intended to be valid Haskell but to respect the BNF grammar given---it's idealized slightly.  But yes, it could be a little confusing if using the paper as a language guide.  

Thanks for pointing that out, Thomas.

Regards,
Lee