Quasi quoting

[Don Stewart]

marlowsd:
> On 03/02/2010 15:39, Simon Peyton-Jones wrote:
>> |>  Or we could switch to different quotation brackets altogether for
>> |>  quasiquotation, the obvious possibility being<|...blah...|>, and
>> |>  <pads|...blah...|>.  That would not be hard, and would only affect the
>> |>  handful of current quasiquote users.  But it'd remove "<|" and "|>" as a
>> |>  valid operators, at least for quasiquote customers.  I don't know how bad
>> |>  that would be.
>> |
>> | Good brackets are scarce.  I'd prefer to stick with one of the many
>> | fine variations on [|...|] currently being discussed.
>>
>> I agree with this.  My gut feel is to stick with [| ..|] and variants, and live with the fact that TH and QQ aren't using them in quite the same way.
>
> Why not provide some nice Unicode version too? ⟦ .. ⟧  ⟪ .. ⟫  ⦃ .. ⦄ etc.
>

OH! That looks very nice.