Simplify syntax for quasi-quotation
authorsimonpj@microsoft.com <unknown>
Wed, 10 Feb 2010 09:44:19 +0000 (09:44 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 10 Feb 2010 09:44:19 +0000 (09:44 +0000)
After some discussion we decided to make a quasi-quote look like

   [pads| ...blah... |]

rather than

   [$pads| ...blah... |]

as before. The new syntax is quieter, although it does not signal
quite as clearly that there is a splice going on.


No differences found