small extension to `...` notation

[Doaitse Swierstra]

Some questions were raised. Let me start withbynoticing that all I am  
interested in is a very small extensions, without creating more  
problems than solving, so I could perfectly live with:

  - no `...` inside `...`. If you really need this you use parentheses
  - the first element between the `...` should be an identifier, and  
the operator takes the properties of this identifier.

With respect to the last remark: this makes it clear that I am really  
passing arguments to the identifier, which would otherwise stand  
alone between the `...`'s. Everything else remains the same,

     Doaitse

On 2006 mrt 09, at 8:59, Bulat Ziganshin wrote:

> Hello Doaitse,
>
> Thursday, March 9, 2006, 12:01:37 AM, you wrote:
> DS>   xs `zipWith (+)` ys
>
> i had the same desire several times
>
>> Possibly `(<expr>)` ?
>
> it will be non-readable. it is better to just prohibit using of
> backquotes inside backquotes. and fixity can be fixed at 0, imho.
>
> at least, my cases was just when i want to use two words inside
> backquotes instead of just one. and fixity should be 0 because such
> expression with space inside it should have a small priority because
> parts of expression "too distant" from each other
>
> (btw, i had (not serious) proposal to raise priority of operations if
> there is no spaces around it, so that the following:
>
> x:xs ++ y:ys
>
> translates to
>
> (x:xs)++(y:ys)
>
> in full accordance with natural reading)
>
> -- 
> Best regards,
>  Bulat                            mailto:Bulat.Ziganshin at gmail.com
>