Bug names

Ian Lynagh ian at well-typed.com
Thu Jan 24 21:14:56 CET 2013

Hi all,

Would anyone mind if I were to rename all the numeric bug names, e.g.
rename 1750 to T1750?

I find names like 1750 a pain to search for in testlog, as they match
lines like "=====> plugins01(normal) 1750 of 3403 [0, 6, 0]".


More information about the ghc-devs mailing list