id,summary,reporter,owner,description,type,status,priority,component,version,resolution,keywords,cc
7,operator names starting with -- treated as comments,patai@…,Baughn,"As the title says. For instance, if I want to define an operator called -->, every line it is used in is turned into a comment exactly the same way as demonstrated by this highlighter:

{{{
#!hs
f --> x = f x

foo f x = f --> (x+1)
}}}",defect,closed,minor,other,,fixed,,