Greetings,
As an avid user of unboxed vectors (with a dozen libraries using them
with many newtypes), I've basically been using vector-th-unbox, which is
fine for parameter-free newtypes.
Viele Gruesse,
Christian
* Carter Schonwald carter.schonw...@gmail.com [15.05.2014 04:15]:
this is an
Is this an instance of https://ghc.haskell.org/trac/ghc/ticket/8177 ? I think
so.
The problem boils down to the fact that Vector and MVector are data families
and are thus (currently) exempted from the roles mechanism. (Or, more properly,
may *only* have nominal roles.) There is no technical
Hi Richard,
Thanks for pointing me to the ticket; I agree that's the issue (although
I'm glad to have you and Simon confirm it). I've summarized the issue and
raised the priority, and Simon linked to this thread.
I would have expected this would have affected a lot users, but as I
haven't heard
this is an issue i'll be running into shortly, otoh I don't think many
folks are writing new unboxed vector instances and related engineering :)
On Wed, May 14, 2014 at 10:02 PM, John Lato jwl...@gmail.com wrote:
Hi Richard,
Thanks for pointing me to the ticket; I agree that's the issue
On Wed, May 14, 2014 at 7:02 PM, John Lato jwl...@gmail.com wrote:
I would have expected this would have affected a lot users, but as I
haven't heard many complaints (and nobody else said anything here!) maybe
the impact is smaller than I thought.
I think people just haven't migrated much to
Hi Richard,
Following your comment, I created a new ticket,
https://ghc.haskell.org/trac/ghc/ticket/9112, for this issue.
I'm not entirely sure I follow all the subtleties of your analysis, but I
think it's correct.
On Wed, May 14, 2014 at 9:10 PM, Bryan O'Sullivan b...@serpentine.comwrote:
Hello,
Prior to ghc-7.8, it was possible to do this:
module M where
import qualified Data.Vector.Generic.Base as G
import qualified Data.Vector.Generic.Mutable as M
import Data.Vector.Unboxed.Base -- provides MVector and Vector
newtype Foo = Foo Int deriving (Eq, Show, Num,
M.MVector
Not by anything I've tried yet, no.
On Tue, May 13, 2014 at 10:40 PM, Carter Schonwald
carter.schonw...@gmail.com wrote:
can you get the deriving to work on
a newtype instance MVector s Foo =
?
On Tue, May 13, 2014 at 9:39 PM, John Lato jwl...@gmail.com wrote:
Hello,
Prior to
My guess is that Americans were involved.
On Mon, Dec 26, 2011 at 7:24 AM, Matthew Farkas-Dyck strake...@gmail.comwrote:
Just of curiosity, why is it spelt with a z? Is it spelt thus in
Scottish English? I thought that generalised is written throughout
Great Britain.
Cheers,
MFD
Of David Fox
Sent: 27 December 2011 14:50
To: Matthew Farkas-Dyck
Cc: GHC users
Subject: Re: GeneralizedNewtypeDeriving
My guess is that Americans were involved.
On Mon, Dec 26, 2011 at 7:24 AM, Matthew Farkas-Dyck strake...@gmail.com
wrote:
Just of curiosity, why is it spelt with a z? Is it spelt thus
).
Chris
From: glasgow-haskell-users-boun...@haskell.org
[mailto:glasgow-haskell-users-boun...@haskell.org] On Behalf Of David Fox
Sent: 27 December 2011 14:50
To: Matthew Farkas-Dyck
Cc: GHC users
Subject: Re: GeneralizedNewtypeDeriving
My guess is that Americans were involved.
On Mon
Just of curiosity, why is it spelt with a z? Is it spelt thus in
Scottish English? I thought that generalised is written throughout
Great Britain.
Cheers,
MFD
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
12 matches
Mail list logo
