GHC 8.2.1 release commit

2017-09-10 Thread Harendra Kumar
Hi, In the GHC git repo how do I figure out which commit belongs to release 8.2.1. I cannot find 8.2.1 in "git tag" output. I tried "git log" and searching for 8.2.1 but there seems to be no definitive comment marking 8.2.1. -harendra ___ ghc-devs

Re: Semigroup repeat (base package)

2017-09-10 Thread Harendra Kumar
On 11 September 2017 at 02:46, Wolfgang Jeltsch wrote: > Am Sonntag, den 10.09.2017, 10:39 +0200 schrieb Herbert Valerio Riedel: > > What you seem to be searching for looks more like what we know as > > `cycle :: [a] -> [a]`, and in fact there is its generalisation at >

Re: A type checker plugin for row types

2017-09-10 Thread Ara Adkins
Glad I could be of help! I just gave it a read and that generated core is much better than I expected. I’d still have some concerns regarding certain uses (e.g. named arguments) having more performance overhead than hoped, but at this stage it’s far better than I would’ve initially thought!

Re: A type checker plugin for row types

2017-09-10 Thread Nicolas Frisby
Whoops! I forgot about that section of my draft. I added a little blurb ("Performance?") Thanks Ara! On Sun, Sep 10, 2017 at 3:41 PM Ara Adkins wrote: > Just given this a read! > > It looks like you’ve put a fantastic amount of effort into this so far, > and I can certainly see

Re: A type checker plugin for row types

2017-09-10 Thread Ara Adkins
Just given this a read! It looks like you’ve put a fantastic amount of effort into this so far, and I can certainly see how it’s finding its legs! I’m very much looking forward to seeing this develop further. I can definitely foresee some uses for polykinded column types, and the possibility

A type checker plugin for row types

2017-09-10 Thread Nicolas Frisby
Hi all. I've been spending my free time for the last couple months on a type checker plugin for row types. The free time waxes and wanes; sending an email like this one was my primary goal for the past couple weeks. At the very least, I hoped this project would let me finally get some hands on

Re: Semigroup repeat (base package)

2017-09-10 Thread Wolfgang Jeltsch
Am Sonntag, den 10.09.2017, 10:39 +0200 schrieb Herbert Valerio Riedel: > What you seem to be searching for looks more like what we know as > `cycle :: [a] -> [a]`, and in fact there is its generalisation at > > http://hackage.haskell.org/package/base-4.10.0.0/docs/Data-Semigroup.html#v:cycle1

Re: Semigroup repeat (base package)

2017-09-10 Thread Harendra Kumar
Indeed it is cycle1, sorry to have missed it. It will be easier to spot it if it close to the stimes* functions in the beginning of the docs. It is placed too far down below even after Monoid re-exports. -harendra On 10 September 2017 at 14:09, Herbert Valerio Riedel wrote:

Re: Semigroup repeat (base package)

2017-09-10 Thread Herbert Valerio Riedel
Hi, On Sun, Sep 10, 2017 at 9:24 AM, Harendra Kumar wrote: > I could not find a function that repeats a value using a semigroup append. I > am looking for something like this: > > srepeat :: Semigroup a => a -> a > srepeat x = xs where xs = x <> xs > > Is it already

Semigroup repeat (base package)

2017-09-10 Thread Harendra Kumar
Hi, I am sending this question here since base ships with ghc, let me know if this is not the right forum for this. I could not find a function that repeats a value using a semigroup append. I am looking for something like this: srepeat :: Semigroup a => a -> a srepeat x = xs where xs = x <> xs

Re: New primitive types?

2017-09-10 Thread Carter Schonwald
I think it should be mostly fine... memory alignment is my main bugbear of a worry, but I guess that requires experimentation  On Sun, Aug 27, 2017 at 6:50 PM Michal Terepeta wrote: > > On Thu, Aug 3, 2017 at 2:28 AM Sylvain Henry wrote: > > Hi,