[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
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/
More information about the Agda
mailing list