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
> |> . That would not be hard, and would only affect
> |> handful of current quasiquote users. But it'd remove "<|" and "|>"
> |> valid operators, at least for quasiquote customers. I don't know how
> |> 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
Why not provide some nice Unicode version too? ⟦ .. ⟧ ⟪ .. ⟫ ⦃
.. ⦄ etc.