[Agda] Coloring of mixfix identifiers

[Andreas Abel]

Not superior, but complementary!  (A supporting color scheme lets you 
parse the stuff better even when not hovering over it with the cursor.)

Cheers,
Andreas

On 2/7/12 3:08 PM, Jean-Philippe Bernardy wrote:
> Emacs has a feature to highlight a parenthesis corresponding to the
> one at the cursor. Highlighting the corresponding portions of a mixfix
> operator would be a natural, useful extension.
>
> Andreas: would you think this is superior to your proposal?
>
> Cheers,
> JP.
>
> On Tue, Feb 7, 2012 at 2:50 PM, Andreas Abel<andreas.abel at ifi.lmu.de>  wrote:
>> Hi Nisse&  crowd,
>>
>> I have a feature request:  mixfix-identifiers could receive distinguished
>> coloring, to help code comprehension.  The reason is that one can use
>> mixfix-ids to define programming constructs like if_then_else_ or try_catch_
>> or whatever that might span over many lines and allow the omission of
>> parenthesis, thus, deviating from the normal parse.
>>
>> The problem is that one can have mixfix constructors, definitions, and
>> projections.  Mixfix would be another dimension of coloring rather than a
>> single color.  Maybe a lighter or darker color that the non-mixfix things?
>>
>> Cheers,
>> Andreas
>>
>> --
>> Andreas Abel<><        Du bist der geliebte Mensch.
>>
>> Theoretical Computer Science, University of Munich
>> Oettingenstr. 67, D-80538 Munich, GERMANY
>>
>> andreas.abel at ifi.lmu.de
>> http://www2.tcs.ifi.lmu.de/~abel/
>> _______________________________________________
>> Agda mailing list
>> Agda at lists.chalmers.se
>> https://lists.chalmers.se/mailman/listinfo/agda
>

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY

andreas.abel at ifi.lmu.de
http://www2.tcs.ifi.lmu.de/~abel/