On Sun, Jan 20, 2013 at 8:13 PM, wren ng thornton wrote:
> I care. So far I've gotten around some of the problems by defining rewrite
> rules which take (fmap NT), (fmap unNT), etc into unsafeCoerce. I haven't
> run into the eta problems that I'm aware of, but the non-constant-time maps
> are some
On 01/21/13 12:49 AM, rocon...@theorem.ca wrote:
On Sun, 20 Jan 2013, Karel Gardas wrote:
Okay, I patched the settings filed generted by ./configure in the
binary-dist and rank make install which completed. However,
pi@raspberrypi /tmp/bindist $ bin/ghc --make Main.hs
[1 of 1] Compiling Main (
On 1/14/13 9:15 PM, Iavor Diatchki wrote:
It looks like what we need is a different concept: one that talks about the
equality of the representations of types, rather then equality of the types
themselves.
+1.
In fact, this distinction is one of the crucial ones I had in mind when
working on
On 1/14/13 2:47 PM, Stephen Paul Weber wrote:
Somebody claiming to be Simon Peyton-Jones wrote:
* For x1 we can write map MkAge x1 :: [Age]. But this does not
follow the newtype cost model: there will be runtime overhead from
executing the map at runtime, and sharing will be lost too. Could
On 1/14/13 1:09 PM, Simon Peyton-Jones wrote:
Friends
I'd like to propose a way to "promote" newtypes over their enclosing type.
Here's the writeup
http://hackage.haskell.org/trac/ghc/wiki/NewtypeWrappers
Any comments? Below is the problem statement, taken from the above page.
I'
On Sun, 20 Jan 2013, Karel Gardas wrote:
On 01/20/13 08:27 PM, rocon...@theorem.ca wrote:
Looks like you do have corrupted settings file. Recover it by adding
"HARD" following "armABI = ", so result should be:
ArchARM {armISA = ARMv6, armISAExt = [VFPv2], armABI = HARD}"
Okay, I patched the
On Sun, 20 Jan 2013, Karel Gardas wrote:
On 01/20/13 08:27 PM, rocon...@theorem.ca wrote:
Looks like you do have corrupted settings file. Recover it by adding
"HARD" following "armABI = ", so result should be:
ArchARM {armISA = ARMv6, armISAExt = [VFPv2], armABI = HARD}"
Okay, I patched the
I'm curious about global constant propagation in GHC. It's a fairly basic
optimization in the CFG-based compiler domain, and it's similar to constructor
specialization, but it doesn't seem to be in GHC's repertoire. Perhaps it's
usually subsumed by other optimizations or it's more complicated
On 01/20/13 08:27 PM, rocon...@theorem.ca wrote:
Looks like you do have corrupted settings file. Recover it by adding
"HARD" following "armABI = ", so result should be:
ArchARM {armISA = ARMv6, armISAExt = [VFPv2], armABI = HARD}"
Okay, I patched the settings filed generted by ./configure in t
On Sun, 20 Jan 2013, Karel Gardas wrote:
On 01/20/13 07:17 PM, rocon...@theorem.ca wrote:
On Wed, 16 Jan 2013, Karel Gardas wrote:
You should not IMHO. My patch should solve all your issues. :-) The
only issue you may get is that your distro ghc will compile for
soft-float ABI and your compil
On Sun, 20 Jan 2013, Karel Gardas wrote:
On 01/20/13 07:50 PM, rocon...@theorem.ca wrote:
Karel, maybe you should try deploying a binary-dist on your panda board?
Sorry? What's "binary-dist"? And why I should do that? And what
exactly do you mean by "deploying"? And on what OS? Ubuntu or Rasp
On 01/20/13 07:50 PM, rocon...@theorem.ca wrote:
Karel, maybe you should try deploying a binary-dist on your panda board?
Sorry? What's "binary-dist"? And why I should do that? And what
exactly do you mean by "deploying"? And on what OS? Ubuntu or Raspbian
run in Ubuntu chroot?
What I'm sugge
On Sun, 20 Jan 2013, Karel Gardas wrote:
On 01/20/13 07:17 PM, rocon...@theorem.ca wrote:
On Wed, 16 Jan 2013, Karel Gardas wrote:
You should not IMHO. My patch should solve all your issues. :-) The
only issue you may get is that your distro ghc will compile for
soft-float ABI and your compil
On 01/20/13 07:39 PM, Stephen Paul Weber wrote:
Somebody claiming to be Karel Gardas wrote:
I just build 7.6.1 release on my ubuntu 12.04.1 LTS which is
hard-float ABI distro. I used distro provided LLVM 3.0 and configured
GHC with:
Please keep in mind that GHC HEAD is completely different beas
Somebody claiming to be Karel Gardas wrote:
I just build 7.6.1 release on my ubuntu 12.04.1 LTS which is hard-float ABI
distro. I used distro provided LLVM 3.0 and configured GHC with:
Please keep in mind that GHC HEAD is completely different beast as
there is new codegen put on by defaul ther
On 01/20/13 07:17 PM, rocon...@theorem.ca wrote:
On Wed, 16 Jan 2013, Karel Gardas wrote:
You should not IMHO. My patch should solve all your issues. :-) The
only issue you may get is that your distro ghc will compile for
soft-float ABI and your compiled GHC will compile to hard-float and
objec
On Wed, 16 Jan 2013, Karel Gardas wrote:
You should not IMHO. My patch should solve all your issues. :-) The only
issue you may get is that your distro ghc will compile for soft-float ABI and
your compiled GHC will compile to hard-float and object files will get mixed
somewhere. But I trust yo
On 01/19/13 11:37 PM, Karel Gardas wrote:
Hi,
I just build 7.6.1 release on my ubuntu 12.04.1 LTS which is hard-float
ABI distro. I used distro provided LLVM 3.0 and configured GHC with:
./configure --with-llc=/usr/bin/llc-3.0 --with-opt=/usr/bin/opt-3.0
Also the testsuite results run by:
18 matches
Mail list logo
