Re: Quasi quoting

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 |> . 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.