On Fri, Feb 20, 2015 at 02:58:14AM -0500, Thomas Bereknyei wrote:
I am looking at the proc notation de-sugar and I see results like this when
using a Free Arrow (mostly copied from [1]):
line2 = proc n - do
Effect getURLSum *** Effect getURLSum - n
Seq [Pure ] (Seq [Pure ] (Seq [Pure ]
On Wed, Jan 07, 2015 at 03:19:15PM +, Simon Peyton Jones wrote:
I’ve pushed a big patch that adds –fwarn-redundant-constraints (on by
default). It tells you when a constraint in a signature is unnecessary, e.g.
f :: Ord a = a - a - Bool
f x y = True
I think I have done
On Tue, Jun 17, 2014 at 03:10:14PM -0400, Carter Schonwald wrote:
to clarify: having bind would be equivalent to having arr for the
purposes of my question (assuming its the standard monadic bind).
having arr :: (b - c) - a b c
is tantamount to assuming that any haskell function can be
On Thu, Mar 13, 2014 at 04:36:54PM -0500, Nicolas Frisby wrote:
The 7.8-rc2 User Guide for rebindable syntax includes:
Arrow notation (see Section 7.16, Arrow notation) uses whatever
arr, (), first, app, (|||) and loop functions are in scope.
But unlike the other constructs, the
On Wed, Sep 25, 2013 at 10:18:51PM +0200, Joachim Breitner wrote:
given the recently intensified urge to make GHC a more community driven
project, may I suggest to reduce the amount of off-list discussions? I
find it very confusing if some discussions happen on list, some
discussion on list
On Wed, Sep 18, 2013 at 04:22:47PM +0300, Roman Cheplyaka wrote:
This may be not a typo, but rather a reference to the IO type from the
System.IO module.
Yes, if the module were intended it would be in double quotes.
This change will break the link intended for the 'IO' monad.
*
On Thu, Feb 14, 2013 at 05:40:51PM +, Simon Peyton-Jones wrote:
I've pushed a new branch, tc-arrows, for the new typechecking of arrows,
based on the discussion we had last week.
It all compiles, but won't work because I have done nothing to the
desugaring.
It uses our new