[darcs-devel] [patch1190] Perhaps was not a valid Monad (and 1 more)

[Ganesh Sittampalam]

New submission from Ganesh Sittampalam <ganesh at earth.li>:

Aristid noticed these broken implementations of (>>) in the two
copies of the Perhaps monad - the 'Unknown' case is not
consistent with (>>=).

It seems best just to remove the specialisations as the compiler
ought to be able to optimise these anyway.

Aristid tested with replacing the faulty case with 'undefined'
and couldn't find any extra failing tests, so it also seems like
a very safe change.

2 patches for repository darcs-unstable at darcs.net:screened:

Fri Sep 26 17:45:01 BST 2014  aristidb at gmail.com
  * Perhaps was not a valid Monad

Sat Sep 27 08:37:53 BST 2014  aristidb at gmail.com
  * Remove faulty (>>) in second Perhaps

----------
files: patch-preview.txt, perhaps-was-not-a-valid-monad.dpatch, unnamed
messages: 17666
nosy: ganesh
status: needs-screening
title: Perhaps was not a valid Monad (and 1 more)

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1190>
__________________________________
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch-preview.txt
Type: text/x-darcs-patch
Size: 872 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20140927/26e6f33f/attachment-0002.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: perhaps-was-not-a-valid-monad.dpatch
Type: application/x-darcs-patch
Size: 20385 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20140927/26e6f33f/attachment-0003.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: unnamed
Type: application/octet-stream
Size: 5 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20140927/26e6f33f/attachment-0001.obj>