Re: Error building ghc on raspberry pi.

2013-01-10 Thread Karel Gardas
Hmm, are you using Raspbian? I.e. hard-float abi caught my eye in case of ARMv6/ARM11 chip here... I'm afraid LLVM is not well guided in your case so could you be so kind and test if adding -optlc=-mattr=+vfp2 helps? You need to add it to your build.mk probably and you will need to rebuild

Re: (mips64el) Cross-building GHC

2013-01-10 Thread Joachim Breitner
Hi, Am Mittwoch, den 09.01.2013, 21:01 -0500 schrieb Stephen Paul Weber: Somebody claiming to be jug...@lavabit.com wrote: I would like to port GHC to mips64el. I have never tried cross-building before. So I will probably post more questions later. Awesome. I have a MIPS-based netbook

missing mtl (which exists) when installing filemanip package

2013-01-10 Thread HP Wei
I did the following: download filemanip-0.3.6.2.tar.gz tar xvf ... cd filemanip-0.3.6.2 runhaskell Setup configure --prefix=$HOME/ghc -- it tells me Setup: At least the following dependencies are missing: mtl -any, unix-compat -any So, I did the following: download

Re: (mips64el) Cross-building GHC

2013-01-10 Thread Stephen Paul Weber
Somebody signing messages as Joachim Breitner wrote: Awesome. I have a MIPS-based netbook (lemote yeelong thing) and got the GHC port from Debian on it, but of course it's a just-barely-works build :) What do you mean by barely-just-works? Anything besides: * no GHCi support and * bad

Re: missing mtl (which exists) when installing filemanip package

2013-01-10 Thread Brent Yorgey
On Thu, Jan 10, 2013 at 10:34:19AM -0500, HP Wei wrote: I did the following: download filemanip-0.3.6.2.tar.gz tar xvf ... cd filemanip-0.3.6.2 runhaskell Setup configure --prefix=$HOME/ghc -- it tells me Setup: At least the following dependencies are missing: mtl

Re: Fundeps and type equality

2013-01-10 Thread Richard Eisenberg
For better or worse, the new overlapping type family instances use a different overlapping mechanism than functional dependencies do. Class instances that overlap are chosen among by order of specificity; overlapping instances can be declared in separate modules. Overlapping family instances

Re: missing mtl (which exists) when installing filemanip package

2013-01-10 Thread Albert Y. C. Lai
On 13-01-10 10:34 AM, HP Wei wrote: Question: why can't $HOME/ghc/lib/mtl-2.0.1.0/ be recognized during the above Setup configure ?? You need to see my http://www.vex.net/~trebla/haskell/sicp.xhtml Existence of files is insufficient. Metadata trumps data. But there is one point I

Re: Fundeps and type equality

2013-01-10 Thread Carter Schonwald
so the overlapping type families are in HEAD? Awesome! I look forward to finding some time to try them out :) On Thu, Jan 10, 2013 at 1:56 PM, Richard Eisenberg e...@cis.upenn.eduwrote: For better or worse, the new overlapping type family instances use a different overlapping mechanism than

Should ghc -msse imply gcc -msse

2013-01-10 Thread Johan Tibell
Hi all, You can turn on e.g. SSE 4.1 by passing -msse4.2 to ghc. This doesn't currently imply that we compile any C code with -msse4.2 turned on, so if someone really want to use SSE4.2, they have to do: ghc -msse4,2 -optc-msse4.2 Do we want to change this so it's enough to pass -msse4.2 to

Class instance specificity order (was Re: Fundeps and type equality)

2013-01-10 Thread Tyson Whitehead
On January 10, 2013 13:56:02 Richard Eisenberg wrote: Class instances that overlap are chosen among by order of specificity; Sorry to jump in the middle here, but this caught my attention as this sort of specificity determination is exactly what I had in mind when I was working on my The shape

RE: Class instance specificity order (was Re: Fundeps and type equality)

2013-01-10 Thread Simon Peyton-Jones
Is http://www.haskell.org/ghc/docs/latest/html/users_guide/type-class-extensions.html#instance-overlap insufficiently clear? If so, let's clarify it. Simon | -Original Message- | From: Tyson Whitehead [mailto:twhiteh...@gmail.com] | Sent: 10 January 2013 22:12 | To:

Re: Should ghc -msse imply gcc -msse

2013-01-10 Thread Conrad Parker
On 11 January 2013 06:10, Johan Tibell johan.tib...@gmail.com wrote: Hi all, You can turn on e.g. SSE 4.1 by passing -msse4.2 to ghc. This doesn't currently imply that we compile any C code with -msse4.2 turned on, so if someone really want to use SSE4.2, they have to do: ghc -msse4,2

RE: Class instance specificity order (was Re: Fundeps and type equality)

2013-01-10 Thread Tyson Whitehead
On Thu, 2013-01-10 at 22:17 +, Simon Peyton-Jones wrote: Is http://www.haskell.org/ghc/docs/latest/html/users_guide/type-class-extensions.html#instance-overlap insufficiently clear? If so, let's clarify it. Thanks for getting back to me Simon. The document says For example, consider

Re: Fundeps and type equality

2013-01-10 Thread Richard Eisenberg
Yes, I finished and pushed in December. A description of the design and how to use the feature is here: http://hackage.haskell.org/trac/ghc/wiki/NewAxioms There's also a section (7.7.2.2 to be exact) in the manual, but building the manual from source is not for the faint of heart. Richard On

Re: Fundeps and type equality

2013-01-10 Thread Martin Sulzmann
Thanks, indeed you're right. For better or worse, so let's extend FC to include FD-style improvement :) Aren't we running then into the same 'type soundness' issues (connected to ordering of overlapping instances) you mention below? There's currently no issue for FDs because FD-style improvement