Issue 1581: use type witnesses on buildbot - Darcs bug tracker

Title	use type witnesses on buildbot
Priority	feature	Status	resolved
Milestone		Resolved in
Superseder		Nosy List	darcs-devel, dmitry.kurochkin, kowey, mornfall
Assigned To		Topics	Devel

Created on 2009-08-28.09:31:11 by kowey, last changed 2009-08-28.10:42:30 by kowey.

Messages
msg8562 (view)	Author: kowey	Date: 2009-08-28.09:31:07
I vaguely recall the code being there and Reinier said that there were even options to disable it for slaves with GHC 6.8.x (?!). So we should just flip the switch.
msg8564 (view)	Author: mornfall	Date: 2009-08-28.10:27:48
I may be missing something, but the bots are checking witnesses for ages now. See eg. http://buildbot.darcs.net/builders/pheme22 6.10.4/builds/10/steps/compile/logs/stdio to check for yourself.
msg8565 (view)	Author: kowey	Date: 2009-08-28.10:42:27
On Fri, Aug 28, 2009 at 10:27:50 +0000, Petr Ročkai wrote: > I may be missing something, but the bots are checking witnesses for ages now. > See eg. http://buildbot.darcs.net/builders/pheme22 > 6.10.4/builds/10/steps/compile/logs/stdio to check for yourself. Oh, I see! It's just that the new regime does things in fewer steps (boxes) and also that we disable witnesses for GHC 6.8.x

History
Date	User	Action	Args
2009-08-28 09:31:11	kowey	create
2009-08-28 10:27:50	mornfall	set	status: needs-implementation -> resolved nosy: kowey, darcs-devel, dmitry.kurochkin, mornfall messages: + msg8564
2009-08-28 10:42:30	kowey	set	nosy: kowey, darcs-devel, dmitry.kurochkin, mornfall messages: + msg8565