Re: [Haskell-cafe] Automatic fixity allocation for symbolic operators

2006-10-16 Thread Henning Thielemann
On Sat, 14 Oct 2006, Jim Apple wrote: On 10/14/06, Brian Hulley [EMAIL PROTECTED] wrote: User defined fixities are an enormous problem for an interactive editor This is the second or third time you've proposed a language change based on the editor you're writing. I don't think this is a

Re: [Haskell-cafe] Automatic fixity allocation for symbolic operators

2006-10-16 Thread Arie Peterson
Hello, Henning Thielemann wrote: [...] I repeat my example of a source code formatting tool which must decide whether to format a + b * c or a + b * c It needs to know the precedences of the used operators, which, as Brian pointed out, is possibly not even defined

Re: Re: [Haskell-cafe] Automatic fixity allocation for symbolic operators

2006-10-16 Thread Nicolas Frisby
Regarding latticess and locality... This idea probably won't help with editors, but the OP's question has sparked a discussion here and some thinking in my head--thanks Brian. What if operator precedences were specified as a partial order instead of using numbers? Using numbers implies a

Re: [Haskell-cafe] Automatic fixity allocation for symbolic operators

2006-10-16 Thread Henning Thielemann
On Mon, 16 Oct 2006, Nicolas Frisby wrote: Regarding latticess and locality... This idea probably won't help with editors, but the OP's question has sparked a discussion here and some thinking in my head--thanks Brian. What if operator precedences were specified as a partial order

Re[3]: [Haskell-cafe] Automatic fixity allocation for symbolic operators

2006-10-16 Thread Bulat Ziganshin
Hello Nicolas, Monday, October 16, 2006, 6:31:42 PM, you wrote: What if operator precedences were specified as a partial order instead of using numbers? precInherit * - @*@ precAll ?+? ?*? Regarding precAll: I'm not a regular expressions/glob for semantics fan, but you get the idea.

Re: [Haskell-cafe] Automatic fixity allocation for symbolic operators

2006-10-15 Thread Brian Hulley
Jim Apple wrote: On 10/14/06, Brian Hulley [EMAIL PROTECTED] wrote: User defined fixities are an enormous problem for an interactive editor This is the second or third time you've proposed a language change based on the editor you're writing. I don't think this is a fruitful avenue.

[Haskell-cafe] Automatic fixity allocation for symbolic operators

2006-10-14 Thread Brian Hulley
Hi - I'm wondering if it is possible to construct a methodical procedure to assign a fixity to symbolic operators so that we could get rid of the need for user defined fixites. User defined fixities are an enormous problem for an interactive editor, because it is not possible to construct a

Re: [Haskell-cafe] Automatic fixity allocation for symbolic operators

2006-10-14 Thread Bertram Felgenhauer
Brian Hulley wrote: infixr 9 .!! 99.9 infixr 8 ^, ^^, **8 8.87.7 infixl 7 *, /,77 infixl 6 +, -6 6 infixr 5 : , ++

Re: Re: [Haskell-cafe] Automatic fixity allocation for symbolic operators

2006-10-14 Thread Nicolas Frisby
Perhaps the editor could assume a default precedence when the user-defined precedence is not yet available. Preferably, the editor would also somehow yell at the user to indicate that it is making such an assumption. I think it's unreasonable to tie programmers' hands for the sake of off-loading

Re: Re: [Haskell-cafe] Automatic fixity allocation for symbolic operators

2006-10-14 Thread J. Garrett Morris
On 10/14/06, Nicolas Frisby [EMAIL PROTECTED] wrote: Perhaps the editor could assume a default precedence when the user-defined precedence is not yet available. Preferably, the editor would also somehow yell at the user to indicate that it is making such an assumption. Perhaps it could even

Re: [Haskell-cafe] Automatic fixity allocation for symbolic operators

2006-10-14 Thread Jim Apple
On 10/14/06, Brian Hulley [EMAIL PROTECTED] wrote: User defined fixities are an enormous problem for an interactive editor This is the second or third time you've proposed a language change based on the editor you're writing. I don't think this is a fruitful avenue. There are three ways to