Bug names

Simon Marlow marlowsd at gmail.com
Fri Jan 25 08:58:08 CET 2013


On 24/01/13 20:14, Ian Lynagh wrote:
>
> 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]".

Ok by me.

Cheers,
	Simon




More information about the ghc-devs mailing list