Patch 1425: set use-time-1point5 flag default to True to please stack - Darcs bug tracker

Title	set use-time-1point5 flag default to True to please stack
Superseder		Nosy List	gh, simon
Related Issues
Status	accepted	Assigned To
Milestone	2.10.3

Created on 2016-01-15.17:11:17 by gh, last changed 2016-01-16.08:50:07 by gh.

Files
File name	Status	Uploaded	Type	Edit	Remove
patch-preview.txt		gh, 2016-01-15.17:11:17	text/x-darcs-patch
set-use_time_1point5-flag-default-to-true-to-please-stack.dpatch		gh, 2016-01-15.17:11:17	application/x-darcs-patch
unnamed		gh, 2016-01-15.17:11:17	text/plain

See mailing list archives for discussion on individual patches.

Messages
msg18918 (view)	Author: gh	Date: 2016-01-15.17:11:17
As suggested and explained by Simon on IRC, this does not prevent Darcs to be build with older GHC's (cabal will know how to toggle the switch the right way) but somehow stack needs it to be True. 1 patch for repository http://darcs.net: patch 3d8167f69e02ecc6d3af37e48b2920fe9122df8e Author: Guillaume Hoffmann <guillaumh@gmail.com> Date: Fri Jan 15 14:17:55 ART 2016 * set use-time-1point5 flag default to True to please stack Attachments patch-preview.txt set-use_time_1point5-flag-default-to-true-to-please-stack.dpatch unnamed
msg18921 (view)	Author: gh	Date: 2016-01-16.08:50:06
I'm accepting the patch (also in branch 2.10). But for other future cases like this, we will evaluate whether we change the switch or we change the stack.yaml file that Simon has proposed to maintain.

History
Date	User	Action	Args
2016-01-15 17:11:17	gh	create
2016-01-15 17:11:50	gh	set	status: needs-screening -> needs-review milestone: 2.10.3
2016-01-16 08:50:07	gh	set	status: needs-review -> accepted nosy: + simon messages: + msg18921