Hello,
I think that it'd be really useful to be able to just declare a `kind`
without having to promote a datatype.
When we discussed this last time (summarized by the link Pedro sent, I
think) it came up that it might be nice to also
have kind synonyms, which would be analogous to type synonyms,
On Fri, Jan 25, 2013 at 7:19 AM, Ross Paterson wrote:
> GHC implements data kinds by promoting data declarations of a certain
> restricted form, but I wonder if it would be better to have a special
> syntax for kind definitions, say
>
> data kind Nat = Zero | Succ Nat
>
This is exactly the syn
Now, the question is: does QNX use the same ABI as Linux on ARM? See ARM
EABI notes in includes/stg/MachRegs.h
Karel
On 01/24/13 11:59 PM, Stephen Paul Weber wrote:
Somebody claiming to be Nathan Hüsken wrote:
On 01/24/2013 07:26 PM, Stephen Paul Weber wrote:
Somebody claiming to be Nathan
Ben Gamari writes:
> Recently I've been benchmarking my concurrent Gibbs sampler[1] on a
> largish multicore machine. I've been using GHC HEAD due to various
> GC-related fixes that are present. One thing that I've noticed in
> looking over the event logs is that there are large durations (tens o
To pass to opt use '-optlo', e.g.,
$ ghc -fllvm -optlo-adce ...
Its documented in the GHC userguide.
Cheers,
David
On 26 January 2013 02:07, Nathan Hüsken wrote:
> On 01/26/2013 09:24 AM, Nathan Hüsken wrote:
>> On 01/25/2013 05:45 PM, Simon Marlow wrote:
>>> On 25/01/13 16:35, Simon Marlow wr
On 01/26/2013 09:24 AM, Nathan Hüsken wrote:
> On 01/25/2013 05:45 PM, Simon Marlow wrote:
>> On 25/01/13 16:35, Simon Marlow wrote:
>>> On 25/01/13 15:51, Stephen Paul Weber wrote:
Somebody claiming to be Simon Marlow wrote:
> On 25/01/13 13:58, Nathan Hüsken wrote:
>> A simple hello
On 01/25/2013 05:45 PM, Simon Marlow wrote:
> On 25/01/13 16:35, Simon Marlow wrote:
>> On 25/01/13 15:51, Stephen Paul Weber wrote:
>>> Somebody claiming to be Simon Marlow wrote:
On 25/01/13 13:58, Nathan Hüsken wrote:
> A simple hello world application has 1Mb in by 64 bit ubunut machin
