[Agda] Coloring of mixfix identifiers

Andreas Abel andreas.abel at ifi.lmu.de
Tue Feb 7 14:50:54 CET 2012

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 

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?


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

More information about the Agda mailing list