GHC 8.2.1 release commit

[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 mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: Semigroup repeat (base package)

[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
> >
> > http://hackage.haskell.org/package/base-4.10.0.0/docs/
> Data-Semigroup.html#v:cycle1
>
> Why is this function called cycle1, not cycle? What does the “1” stand
> for?


I guess this is not named "cycle" to avoid conflict with "Data.List.cycle".
I was also wondering why it is "cycle1" instead of, say "scycle". It can be
thought of as cycling just one value instead of cycling a list in case of
"Data.List.cycle". I Just made up this explanation, original writers would
know better. I would prefer "scycle" which is consistent with other
functions in this package like "stimes", cycle1 sounds a bit random at
first look.

-harendra
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: A type checker plugin for row types

[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! 

Definitely a useful addition to the wiki page. 

_ara

> On 10 Sep 2017, at 23:58, Nicolas Frisby  wrote:
> 
> 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 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 for named arguments is 
>> certainly interesting (though I have some concerns about performance — 
>> though none are relevant at such an early stage). 
>> 
>> Unfortunately I don’t think I can answer any of the questions that I spotted 
>> on my read-through. 
>> 
>> Again, I’m looking forward to seeing this develop, and the naming of 
>> `coxswain` and `sculls` gave me a giggle. 
>> 
>> _ara
>> 
>>> On 10 Sep 2017, at 23:24, Nicolas Frisby  wrote:
>>> 
>>> 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 experience with OutsideIn. And I definitely have. But I've also made 
>>> more progress than I anticipated, and I think the plugin is starting to 
>>> have legs!
>>> 
>>> I haven't uploaded the code yet to github -- it's not quite ready to share. 
>>> But I did do a write up on the dev wiki.
>>> 
>>>   
>>> https://ghc.haskell.org/trac/ghc/wiki/Plugins/TypeChecker/RowTypes/Coxswain
>>> 
>>> I would really appreciate and questions, comments, and --- boy, oh boy --- 
>>> answers.
>>> 
>>> I hope to upload within a week or so, and I'll update that wiki page and 
>>> reply to this email when I do.
>>> 
>>> Thanks very much. -Nick
>>> 
>>> P.S. -- I've CC'd and BCC'd people who I anticipate would be specifically 
>>> interested in this (e.g. plugins, row types, etc). Please feel free to 
>>> forward to others that come to mind; I know some inboxes abjectly can't 
>>> afford default list traffic.
>>> 
>>> P.P.S. -- One hold up for the upload is: which license? I intend to release 
>>> under BSD3, mainly to match GHC since one ideal scenario would involve 
>>> being packaged with/integrated into GHC. But my brief recent research 
>>> suggests that the Apache license might be more conducive to eventual 
>>> widespread adoption. If you'd be willing to advise or even just refer me to 
>>> other write ups, please feel free to email me directly or to start a 
>>> separate thread on a more appropriate distribution list (CC'ing me, 
>>> please). Thanks again.
>> 
>>> ___
>>> ghc-devs mailing list
>>> ghc-devs@haskell.org
>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: A type checker plugin for row types

[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 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 for named arguments is
> certainly interesting (though I have some concerns about performance —
> though none are relevant at such an early stage).
>
> Unfortunately I don’t think I can answer any of the questions that I
> spotted on my read-through.
>
> Again, I’m looking forward to seeing this develop, and the naming of
> `coxswain` and `sculls` gave me a giggle.
>
> _ara
>
> On 10 Sep 2017, at 23:24, Nicolas Frisby  wrote:
>
> 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 experience with OutsideIn. And I definitely have. But I've also
> made more progress than I anticipated, and I think the plugin is starting
> to have legs!
>
> I haven't uploaded the code yet to github -- it's not quite ready to
> share. But I did do a write up on the dev wiki.
>
>
> https://ghc.haskell.org/trac/ghc/wiki/Plugins/TypeChecker/RowTypes/Coxswain
>
> I would really appreciate and questions, comments, and --- boy, oh boy ---
> answers.
>
> I hope to upload within a week or so, and I'll update that wiki page and
> reply to this email when I do.
>
> Thanks very much. -Nick
>
> P.S. -- I've CC'd and BCC'd people who I anticipate would be specifically
> interested in this (e.g. plugins, row types, etc). Please feel free to
> forward to others that come to mind; I know some inboxes abjectly can't
> afford default list traffic.
>
> P.P.S. -- One hold up for the upload is: which license? I intend to
> release under BSD3, mainly to match GHC since one ideal scenario would
> involve being packaged with/integrated into GHC. But my brief recent
> research suggests that the Apache license might be more conducive to
> eventual widespread adoption. If you'd be willing to advise or even just
> refer me to other write ups, please feel free to email me directly or to
> start a separate thread on a more appropriate distribution list (CC'ing me,
> please). Thanks again.
>
> ___
> ghc-devs mailing list
> ghc-devs@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
>
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: A type checker plugin for row types

[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 for named arguments is certainly interesting 
(though I have some concerns about performance — though none are relevant at 
such an early stage). 

Unfortunately I don’t think I can answer any of the questions that I spotted on 
my read-through. 

Again, I’m looking forward to seeing this develop, and the naming of `coxswain` 
and `sculls` gave me a giggle. 

_ara

> On 10 Sep 2017, at 23:24, Nicolas Frisby  wrote:
> 
> 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 experience with OutsideIn. And I definitely have. But I've also made more 
> progress than I anticipated, and I think the plugin is starting to have legs!
> 
> I haven't uploaded the code yet to github -- it's not quite ready to share. 
> But I did do a write up on the dev wiki.
> 
>   https://ghc.haskell.org/trac/ghc/wiki/Plugins/TypeChecker/RowTypes/Coxswain
> 
> I would really appreciate and questions, comments, and --- boy, oh boy --- 
> answers.
> 
> I hope to upload within a week or so, and I'll update that wiki page and 
> reply to this email when I do.
> 
> Thanks very much. -Nick
> 
> P.S. -- I've CC'd and BCC'd people who I anticipate would be specifically 
> interested in this (e.g. plugins, row types, etc). Please feel free to 
> forward to others that come to mind; I know some inboxes abjectly can't 
> afford default list traffic.
> 
> P.P.S. -- One hold up for the upload is: which license? I intend to release 
> under BSD3, mainly to match GHC since one ideal scenario would involve being 
> packaged with/integrated into GHC. But my brief recent research suggests that 
> the Apache license might be more conducive to eventual widespread adoption. 
> If you'd be willing to advise or even just refer me to other write ups, 
> please feel free to email me directly or to start a separate thread on a more 
> appropriate distribution list (CC'ing me, please). Thanks again.
> ___
> ghc-devs mailing list
> ghc-devs@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

A type checker plugin for row types

[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 experience with OutsideIn. And I definitely have. But I've also made
more progress than I anticipated, and I think the plugin is starting to
have legs!

I haven't uploaded the code yet to github -- it's not quite ready to share.
But I did do a write up on the dev wiki.


https://ghc.haskell.org/trac/ghc/wiki/Plugins/TypeChecker/RowTypes/Coxswain

I would really appreciate and questions, comments, and --- boy, oh boy ---
answers.

I hope to upload within a week or so, and I'll update that wiki page and
reply to this email when I do.

Thanks very much. -Nick

P.S. -- I've CC'd and BCC'd people who I anticipate would be specifically
interested in this (e.g. plugins, row types, etc). Please feel free to
forward to others that come to mind; I know some inboxes abjectly can't
afford default list traffic.

P.P.S. -- One hold up for the upload is: which license? I intend to release
under BSD3, mainly to match GHC since one ideal scenario would involve
being packaged with/integrated into GHC. But my brief recent research
suggests that the Apache license might be more conducive to eventual
widespread adoption. If you'd be willing to advise or even just refer me to
other write ups, please feel free to email me directly or to start a
separate thread on a more appropriate distribution list (CC'ing me,
please). Thanks again.
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: Semigroup repeat (base package)

[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

Why is this function called cycle1, not cycle? What does the “1” stand
for?

All the best,
Wolfgang
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: Semigroup repeat (base package)

[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:

> 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 available somewhere? Does it make sense to add it to
> > Data.Semigroup?
>
> 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
>
> hth
>
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: Semigroup repeat (base package)

[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 available somewhere? Does it make sense to add it to
> Data.Semigroup?

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

hth
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Semigroup repeat (base package)

[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

Is it already available somewhere? Does it make sense to add it to
Data.Semigroup?

Thanks,
Harendra
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: New primitive types?

[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,
> >
> > I also think we should do this but it has a lot of ramifications:
> contant folding in Core, codegen, TH, etc.
> >
> > Also it will break codes that use primitive types directly, so maybe
> it's worth a ghc proposal.
>
> Ok, a short proposal sounds reasonable.
>
> I don't think this would break a lot of code - based on a few searches
> it seems that people don't really extract `Int#` from
> `Int8/Int16/Int32` (similarly with words).
> Or am I missing something?
>
> Thanks,
> Michal
>
> PS. Sorry for slow reply - I was traveling.
>
> ___
> ghc-devs mailing list
> ghc-devs@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs