strake (M Farkas-Dyck)
User

Projects

User does not belong to any projects.

User Details

User Since
Oct 13 2015, 10:45 AM (201 w, 2 d)

Recent Activity

Dec 13 2017

strake added a comment to D4257: add variants of `finiteBitSize` and friends which take `Proxy`.

@RyanGlScott which are these other such terms?

Dec 13 2017, 9:30 PM · GHC
strake added a comment to D4257: add variants of `finiteBitSize` and friends which take `Proxy`.

@RyanGlScott good point — we ought to introduce Proxyfied versions of all such terms in base.

Dec 13 2017, 9:28 PM · GHC

Dec 8 2017

strake created D4257: add variants of `finiteBitSize` and friends which take `Proxy`.
Dec 8 2017, 5:18 PM · GHC

Feb 1 2017

strake added a comment to D3052: Extensionalize if-then-else syntax, on by default in H98 and H2010.

Motivation?

Feb 1 2017, 10:33 PM
strake added a comment to D3052: Extensionalize if-then-else syntax, on by default in H98 and H2010.
Feb 1 2017, 10:31 PM

Jan 31 2017

strake retitled D3052: Extensionalize if-then-else syntax, on by default in H98 and H2010 from to Extensionalize if-then-else syntax, on by default in H98 and H2010.
Jan 31 2017, 11:35 PM

Jan 10 2016

strake retitled D1760: Add Peano numbers from to Add Peano numbers.
Jan 10 2016, 11:40 PM

Nov 28 2015

strake added a child revision for D1544: move Data.Functor.(Classes, Compose, Product, Sum) into base: D1543: move Data.Functor.(Classes, Compose, Product, Sum) into base.
Nov 28 2015, 12:09 PM
strake added a parent revision for D1543: move Data.Functor.(Classes, Compose, Product, Sum) into base: D1544: move Data.Functor.(Classes, Compose, Product, Sum) into base.
Nov 28 2015, 12:09 PM
strake retitled D1544: move Data.Functor.(Classes, Compose, Product, Sum) into base from to move Data.Functor.(Classes, Compose, Product, Sum) into base.
Nov 28 2015, 12:09 PM
strake retitled D1543: move Data.Functor.(Classes, Compose, Product, Sum) into base from to move Data.Functor.(Classes, Compose, Product, Sum) into base.
Nov 28 2015, 12:06 PM

Nov 11 2015

strake added a comment to D1324: generalize filterM, mapAndUnzipM, zipWithM, zipWithM_, replicateM, replicateM_.

@strake, it seems there are some warnings still.

Nov 11 2015, 10:46 AM · GHC
strake updated the diff for D1324: generalize filterM, mapAndUnzipM, zipWithM, zipWithM_, replicateM, replicateM_.
Nov 11 2015, 9:42 AM · GHC
strake updated the diff for D1324: generalize filterM, mapAndUnzipM, zipWithM, zipWithM_, replicateM, replicateM_.

Also, do you think you could rebase this and perhaps move the base/changelog entry up the document. It would be nice to have all of the entries for Applicative generalizations grouped together.

Nov 11 2015, 9:14 AM · GHC

Nov 10 2015

strake added a comment to D1324: generalize filterM, mapAndUnzipM, zipWithM, zipWithM_, replicateM, replicateM_.
In D1324#42233, @ekmett wrote:

It seems worth including a note in the documentation about 8.0 that indicates that if you experience any performance regressions due to these generalizations, you should fix the implementation of (*>) to match your implementation of (>>).

Nov 10 2015, 8:30 AM · GHC

Nov 7 2015

strake added a comment to D1442: Quote file paths in linker scripts.

Is further action required of me here? I'm new at this.

Nov 7 2015, 11:05 AM

Nov 6 2015

strake retitled D1442: Quote file paths in linker scripts from to Quote file paths in linker scripts.
Nov 6 2015, 10:32 AM

Nov 5 2015

strake updated the diff for D1324: generalize filterM, mapAndUnzipM, zipWithM, zipWithM_, replicateM, replicateM_.

changelog

Nov 5 2015, 11:15 PM · GHC
strake added a comment to D1324: generalize filterM, mapAndUnzipM, zipWithM, zipWithM_, replicateM, replicateM_.

nofib results: http://lpaste.net/5919115904901185536

Nov 5 2015, 11:13 PM · GHC

Oct 13 2015

strake retitled D1324: generalize filterM, mapAndUnzipM, zipWithM, zipWithM_, replicateM, replicateM_ from to generalize filterM, mapAndUnzipM, zipWithM, zipWithM_, replicateM, replicateM_.
Oct 13 2015, 9:38 PM · GHC