-
Gergő Érdi authored
This is so that generated names like e.g. workers don't show up as infix operators when using something like -ddump-simpl.
a3f78e24
This is so that generated names like e.g. workers don't show up as infix operators when using something like -ddump-simpl.