I'm not sure if it really could work out at all. The concept is that I want
the newtype wrapper to get the class defaults the wrapped type would have
gotten (whether the wrapped type is actually a class instance or not).
On Aug 24, 2015 8:39 AM, Richard Eisenberg e...@cis.upenn.edu wrote:
I have
I have a hard time fully understanding this request without more context. But I
do think I understand the last paragraph. And it seems bound to create class
incoherence. What if someone else *does* write that orphan instance you're
avoiding writing?
Richard
On Aug 22, 2015, at 12:54 PM, David
I don't think there is a user-visible difference between treating a = 1 as a
declaration vs as a let. One might be easier to implement.
My guess is that Austin's thought in that chat log is around MonoLocalBinds.
MonoLocalBinds (implied by GADTs and TypeFamilies) means that some let
Dear Giovanni,
thanks to Erik for pointing this out, very similar issue of 1TB
allocation on dll-split is also happening on amd64-solaris11. I can't
say this is the same issue yet as I've not debug that fully yet -- will
do as time permits, but at least you know something else similar
Thanks Edward, that fixed the issue with GHC 7.8.3. While trying to
replicate with 7.10.2 to submit a bug report, I got a different error,
even with your fix included:
C:\Users\NDMIT_~1\AppData\Local\Temp\ghc2428_1\ghc_4.o:ghc_3.c:(.text+0x55):
undefined reference to `ZCMain_main_closure'
Doing
I am working on FFI bindings to C++ code that associates several memory pools
to each thread using the library. When a thread is done using the library, it
can call a C function to release the memory pool objects.
In the Haskell bindings, I’d like to be able to attach a finalizer that called
Dear Giovanni,
Your commit:
commit 0d1a8d09f452977aadef7897aa12a8d41c7a4af0
Author: Giovanni Campagna gcamp...@cs.stanford.edu
Date: Fri Jul 17 11:55:49 2015 +0100
Two step allocator for 64-bit systems
fails for me on Arm64 (also known as AArch64) Linux.
I was wondering if
I'm not positive, but I believe each dictionary has a field for its
superclass dictionary. So if you have a dictionary for `Floating
Float`, one of the fields will be the `Num Float` dictionary.
How to get the projector function for the field... I'm not sure. But
perhaps you can find it by type?