[darcs-devel] [patch1425] set use-time-1point5 flag default to True to please stack

Guillaume Hoffmann bugs at darcs.net
Fri Jan 15 17:11:18 UTC 2016


New submission from Guillaume Hoffmann <guillaumh at gmail.com>:

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 at gmail.com>
Date:   Fri Jan 15 14:17:55 ART 2016
  * set use-time-1point5 flag default to True to please stack

----------
files: patch-preview.txt, set-use_time_1point5-flag-default-to-true-to-please-stack.dpatch, unnamed
messages: 18918
nosy: gh
status: needs-screening
title: set use-time-1point5 flag default to True to please stack

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1425>
__________________________________
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch-preview.txt
Type: text/x-darcs-patch
Size: 229 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20160115/ec13af50/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: set-use_time_1point5-flag-default-to-true-to-please-stack.dpatch
Type: application/x-darcs-patch
Size: 12663 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20160115/ec13af50/attachment-0001.bin>
-------------- next part --------------
.





More information about the darcs-devel mailing list