Re: Error building ghc on raspberry pi.

2013-01-03 Thread Thijs Alkemade
(Sorry, forgot to CC the list) Original Message From: Thijs Alkemade m...@thijsalkema.de Sent: Thu Jan 03 10:31:50 CET 2013 To: rocon...@theorem.ca Subject: Re: Error building ghc on raspberry pi. rocon...@theorem.ca wrote: Some further information it seems that llc is

Re: DoCon and GHC

2013-01-03 Thread Serge D. Mechveliani
On Wed, Jan 02, 2013 at 11:27:15PM +, Simon Peyton-Jones wrote: I made a second mistake. I meant (LinSolvRing (UPol k)). Apologies. | I don't know why 7.4 accepts it, but I'm not inclined to investigate... | looks like a bug in 7.4. | | ghc-7.4.1 may use a special trick, but is

Re: ANNOUNCE: GHC 7.6.2 Release Candidate 1

2013-01-03 Thread Christian Maeder
worked for me under x86 SunOS 5.10 Cheers Christian OVERALL SUMMARY for test run started at Donnerstag, 3. Januar 2013, 09:52:19 Uhr CET 3402 total tests, which gave rise to 13556 test cases, of which 10 caused framework failures 10486 were skipped 2954 expected passes

RE: DoCon and GHC

2013-01-03 Thread Simon Peyton-Jones
OK I have tested with today's GHC 7.6.2, which is very slightly later than the release candidate. When I add (EuclideanRing (UPol k)) to the signature for cubicExt, the whole of demotest compiles. So that works. Your misconception is here: | c) Pol3_ has |instance (LinSolvRing (Pol a),

Re: DoCon and GHC

2013-01-03 Thread J. Garrett Morris
On Thu, Jan 3, 2013 at 4:57 AM, Simon Peyton-Jones simo...@microsoft.com wrote: When matching instances, GHC does not take account of the context of the instance. Say you have data T a = ... data S1 = ... data S2 = ... [a] instance Num a = Num (T a) where ...

Re: DoCon and GHC

2013-01-03 Thread Serge D. Mechveliani
This is copying to the list my reply to Simon: On Thu, Jan 03, 2013 at 12:57:02PM +, Simon Peyton-Jones wrote: OK I have tested with today's GHC 7.6.2, which is very slightly later than the release candidate. When I add (EuclideanRing (UPol k)) to the signature for cubicExt, the whole

Re: Error building ghc on raspberry pi.

2013-01-03 Thread Ben Gamari
rocon...@theorem.ca writes: Some further information it seems that llc is segfaulting: Where did you get your LLVM build from? Did you try running the LLVM testsuite? IIRC, LLVM 3.0 was less than stellar on ARM. - Ben ___ Glasgow-haskell-users

Re: Suppress Duplicate constraints warning?

2013-01-03 Thread Conal Elliott
Yes, please do add a flag to suppress this duplicate constraints warning, e.g., -fno-warn-duplicate-constraints. Thanks! -- Conal On Mon, Dec 31, 2012 at 9:27 AM, Simon Peyton-Jones simo...@microsoft.comwrote: Hmm. Actually there isn’t a flag to suppress it, I’m afraid. Would you like me

Re: Suppress Duplicate constraints warning?

2013-01-03 Thread Conal Elliott
Oh! I see it's already done. Thanks much! On Thu, Jan 3, 2013 at 11:55 AM, Conal Elliott co...@conal.net wrote: Yes, please do add a flag to suppress this duplicate constraints warning, e.g., -fno-warn-duplicate-constraints. Thanks! -- Conal On Mon, Dec 31, 2012 at 9:27 AM, Simon