ember 2014 11:49
To: Edward Z. Yang; Holzenspies, P.K.F. (EWI)
Cc: ghc-devs
Subject: Re: Unique as special boxing type & hidden constructors
FastInt = Int#, so newtype doesn't work here.
Cheers,
Simon
On 15/08/2014 14:01, Edward Z. Yang wrote:
The definition dates back to 1996, so it seems
:49
To: Edward Z. Yang; Holzenspies, P.K.F. (EWI)
Cc: ghc-devs
Subject: Re: Unique as special boxing type & hidden constructors
FastInt = Int#, so newtype doesn't work here.
Cheers,
Simon
On 15/08/2014 14:01, Edward Z. Yang wrote:
> The definition dates back to 1996, so it seems plausible
Newtype of Int, to be clear.
Edward
Excerpts from Simon Marlow's message of 2014-09-04 11:49:39 +0200:
> FastInt = Int#, so newtype doesn't work here.
>
> Cheers,
> Simon
>
> On 15/08/2014 14:01, Edward Z. Yang wrote:
> > The definition dates back to 1996, so it seems plausible that
> > newtype
FastInt = Int#, so newtype doesn't work here.
Cheers,
Simon
On 15/08/2014 14:01, Edward Z. Yang wrote:
The definition dates back to 1996, so it seems plausible that
newtype is the way to go now.
Edward
Excerpts from p.k.f.holzenspies's message of 2014-08-15 11:52:47 +0100:
Dear all,
I'm wo
__
From: Alexander Kjeldaas
Sent: 20 August 2014 15:48
To: Holzenspies, P.K.F. (EWI)
Cc: Simon Peyton Jones; ghc-devs
Subject: Re: Unique as special boxing type & hidden constructors
On Wed, Aug 20, 2014 at 3:07 PM,
mailto:p.k.f.holzensp...@utwente.nl>
On Wed, Aug 20, 2014 at 3:07 PM, wrote:
> On Wed, Aug 20, 2014 at 1:47 PM, wrote:
>
>>
>>
>>
>
>>
> Is the thread id deterministic between runs? If not, please do not
> use this layout. I remember vaguely Unique being relevant to ghc not
> having deterministic builds, my most
On Wed, Aug 20, 2014 at 1:47 PM,
mailto:p.k.f.holzensp...@utwente.nl>> wrote:
Is the thread id deterministic between runs? If not, please do not use this
layout. I remember vaguely Unique being relevant to ghc not having
deterministic builds, my most wanted ghc feature:
https://ghc.has
bit.
>
>
>
> S
>
>
>
> *From:* p.k.f.holzensp...@utwente.nl [mailto:p.k.f.holzensp...@utwente.nl]
>
> *Sent:* 20 August 2014 11:31
> *To:* Simon Peyton Jones; ghc-devs@haskell.org
> *Subject:* RE: Unique as special boxing type & hidden constructors
>
>
&
be CPP-magic'd using WORD_SIZE_IN_BITS.
Ph.
From: Simon Peyton Jones
Sent: 20 August 2014 13:01
To: Holzenspies, P.K.F. (EWI); ghc-devs@haskell.org
Subject: RE: Unique as special boxing type & hidden constructors
Sounds like a good idea to me. W
upplying thread of a Unique, would that help?
Regards,
Philip
From: Simon Peyton Jones mailto:simo...@microsoft.com>>
Sent: 18 August 2014 23:29
To: Holzenspies, P.K.F. (EWI); ghc-devs@haskell.org<mailto:ghc-devs@haskell.org>
Subject: RE: Uniq
would that help?
Regards,
Philip
From: Simon Peyton Jones
Sent: 18 August 2014 23:29
To: Holzenspies, P.K.F. (EWI); ghc-devs@haskell.org
Subject: RE: Unique as special boxing type & hidden constructors
1) There is a #ifdef define(__GLASGOW_HASKELL__), which conf
type Unique!
(In my view) it’s usually much better not to use type classes unless you
actually need overloading.
Simon
From: p.k.f.holzensp...@utwente.nl [mailto:p.k.f.holzensp...@utwente.nl]
Sent: 18 August 2014 14:50
To: Simon Peyton Jones; ghc-devs@haskell.org
Subject: RE: Unique as special b
evs@haskell.org
Onderwerp: RE: Unique as special boxing type & hidden constructors
Dear Simon, et al,
Looking at Unique, there are a few more design choices that may be outdated,
and since I'm polishing things now, anyway, I figured I could update it on more
fronts.
1) There is a #
m: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of
p.k.f.holzensp...@utwente.nl
Sent: 15 August 2014 11:53
To: ghc-devs@haskell.org
Subject: Unique as special boxing type & hidden constructors
Dear all,
I'm working with Alan to instantiate everything for Data.Data, so that
t 2014 11:53
To: ghc-devs@haskell.org
Subject: Unique as special boxing type & hidden constructors
Dear all,
I'm working with Alan to instantiate everything for Data.Data, so that we can
do better SYB-traversals (which should also help newcomers significantly to get
into the GHC code
The definition dates back to 1996, so it seems plausible that
newtype is the way to go now.
Edward
Excerpts from p.k.f.holzenspies's message of 2014-08-15 11:52:47 +0100:
> Dear all,
>
>
> I'm working with Alan to instantiate everything for Data.Data, so that we can
> do better SYB-traversals
Dear all,
I'm working with Alan to instantiate everything for Data.Data, so that we can
do better SYB-traversals (which should also help newcomers significantly to get
into the GHC code base). Alan's looking at the AST types, I'm looking at the
basic types in the compiler.
Right now, I'm loo
17 matches
Mail list logo