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
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]] ->
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:
> >
> >
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
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:
> >
> >
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
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
>
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.