isRecursiveTyCon

2016-03-03 Thread José Manuel Calderón Trilla
Hello, I'm extending GHC's demand analysis to sum types, but _not_ recursive types. I was searching for a function that would tell me if a TyCon is recursive, so that I could analyse Maybes but avoid Lists. I found isRecursiveTyCon, but it's not actually for this purpose, there's actually a long

Local bindings in the static form

2016-03-03 Thread Facundo Domínguez
Hello, At Tweag I/O we are considering relaxing a bit the constraints on the static form. static demands to be closed. That is, the free variables of must be bound at the top level. However, it would be fine to allow local bindings too. For instance: test :: StaticPtr ([[Int]] ->

Re: Specialized type hints

2016-03-03 Thread Brandon Allbery
On Thu, Mar 3, 2016 at 11:58 AM, Eric Seidel wrote: > On Wed, Mar 2, 2016, at 23:54, Christopher Allen wrote: > > I'd like to see how warm people would be to catching GHC's type error > > quality up a bit. > > > > I did a write-up on a confusion a reader of our book had: > > > >

Re: Specialized type hints

2016-03-03 Thread Eric Seidel
On Wed, Mar 2, 2016, at 23:54, Christopher Allen wrote: > I'd like to see how warm people would be to catching GHC's type error > quality up a bit. > > I did a write-up on a confusion a reader of our book had: > > https://gist.github.com/bitemyapp/c27c721b92dab0248433 Wow, this is a pretty

Re: RTS's (old?) invariant regarding OS blocking

2016-03-03 Thread Dan Aloni
On Thu, Mar 03, 2016 at 09:52:07AM +, Sergei Trofimovich wrote: > On Wed, 2 Mar 2016 16:38:56 +0200 > Dan Aloni wrote: > > > Hi, > > > > While trying to gain insights into the RTS, I've noticed the following in > > the Wiki page [1] on the topic of the scheduler: > > > >

Re: Questions on 'proc point splitting' again

2016-03-03 Thread Ben Gamari
David Spitzenberg writes: > Hello everyone! > > First of all, my apologies for letting you wait that long. Especially, I > want to let you know that I really feel sorry for not following up your > offer back in January, Simon. > Don't worry at all; life happens. Any

Re: RTS's (old?) invariant regarding OS blocking

2016-03-03 Thread Sergei Trofimovich
On Wed, 2 Mar 2016 16:38:56 +0200 Dan Aloni wrote: > Hi, > > While trying to gain insights into the RTS, I've noticed the following in > the Wiki page [1] on the topic of the scheduler: > > Invariant: a task that holds a capability is not blocked in the operating >

Questions on 'proc point splitting' again

2016-03-03 Thread David Spitzenberg
Hello everyone! First of all, my apologies for letting you wait that long. Especially, I want to let you know that I really feel sorry for not following up your offer back in January, Simon. I somewhat underestimated the amount of time I had to invest in university during the last semester.