[Agda] Coloring of mixfix identifiers

Jean-Philippe Bernardy bernardy at chalmers.se
Tue Feb 7 15:08:20 CET 2012

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?


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

More information about the Agda mailing list