conflicting multi-parameter family instance declarations

2015-01-13 Thread Michal Konečný
Dear all, The following compiles with ghc 7.6 but fails with ghc 7.8: - {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} module Test where class M t s where type T t s data I t = I t instance M t t where type (T t t) = ()

[Haskell] PhD studentship on interval computation in Haskell

2014-07-02 Thread Michal Konečný
July 2014. * The project will be supervised by Michal Konečný, Aston University. * The student will receive a 3-year studentship of £15,500/year. * UK/EU student's fee is covered, non-EU student's fee is £10,914 in 2014/2015. * The student will act as a teaching assistant

renamed GMP symbols in GHC

2011-12-22 Thread Michal Konečný
Dear all, Several issues related to the way GMP is included in GHC were publicly discussed in the past with the goal of replacing GMP. As summarised in this wiki by Peter Tanski, the main issues were: (1) Licensing (2) Memory Structure; Simultaneous Access to GMP by Foreign (C) code in the

[Haskell] ANN: AERN-Real-Double-2011.1

2011-05-13 Thread Michal Konečný
Dear all, I am pleased to announce the first release of (a large part of) a newly designed AERN. AERN (approximating exact real numbers) is a set of Haskell libraries providing arbitrary precision interval arithmetic, polynomial arithmetic and distributed lazy exact real computation. Anyone

Re: [Haskell-cafe] how to force hackage to use ghc 6.12.3

2011-05-13 Thread Michal Konečný
On Monday 09 May 2011 12:09:22 Ross Paterson wrote: That will stop users from building it with ghc 7.0, but I'm afraid the build client only uses the latest version, so these won't be fixed until ghc 7.2 is released. Daniel, Ross, Thank you for your help. I decided to add base 4.3 to stop

[Haskell-cafe] ANN: AERN-Real-Double-2011.1

2011-05-13 Thread Michal Konečný
Dear all, I am pleased to announce the first release of (a large part of) a newly designed AERN. AERN (approximating exact real numbers) is a set of Haskell libraries providing arbitrary precision interval arithmetic, polynomial arithmetic and distributed lazy exact real computation. Anyone

[Haskell-cafe] how to force hackage to use ghc 6.12.3

2011-05-09 Thread Michal Konečný
Hi, I have been releasing packages on hackage that do not build with ghc 7.0.* due to a bug that will be fixed in ghc 7.2.1. (One of the packages is http://hackage.haskell.org/package/AERN-Basics) I was hoping hackage will try also ghc 6.12.3 but it does not. Is there some way I can change

[Haskell-cafe] ghc7 bug? associated type + implicit parameters

2011-04-14 Thread Michal Konečný
Hi, I have stumbled across some strange behaviour in ghc7. The following compiles fine with ghc 6.12.3: {-# LANGUAGE ImplicitParams #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE NoMonomorphismRestriction #-} module Test where class C t where type TF t ttt :: TF t - t b :: (C t, ?x

Re: [Haskell-cafe] ANN: hmpfr-0.3.2 (requires integer-simple, supports mpfr 3.0.0)

2011-03-04 Thread Michal Konečný
Hi Dan, On Friday 04 Mar 2011 21:59:12 Daniel Peebles wrote: I'm adding Ed to the conversation as he's very interested in this topic, too. I do apologise - I was meant to post the previous email back to haskell-cafe but by mistake it went only to you. I hope you do not mind that I am taking

Re: [Haskell-cafe] ANN: hmpfr-0.3.2 (requires integer-simple, supports mpfr 3.0.0)

2011-03-04 Thread Michal Konečný
On Friday 04 Mar 2011 21:06:45 Edward Kmett wrote: I'd be more than willing to tackle flipping things over to use foreign prims, so that I have something I can build on top without requiring the contortions to get a ghc build with integer-simple. Dan has a cabal buildable library with

[Haskell] ANN: hmpfr-0.3.2 (requires integer-simple, supports mpfr 3.0.0)

2011-03-03 Thread Michal Konečný
Dear all, I am pleased to announce hmpfr-0.3.2, a new version of Aleš Bizjak's bindings to the MPFR arbitrary precision floating point arithmetic library. The changes in this version are quite small but significant: - support for MPFR 3.0.0 as well as MPFR 2.4.* - dependency on integer-simple

Re: [Haskell-cafe] Haskell IDE

2011-03-03 Thread Michal Konečný
On Thu, Mar 3, 2011 at 9:05 AM, Hauschild, Klaus (EXT) klaus.hauschild@siemens.com wrote: whats your Haskell IDE of choise? Currently I use leksah. Is the EclipseFP Plugin for Eclipse a real alternative? I use EclipseFP 2.0.2 on a few fairly large projects and am overall very happy with it

[Haskell-cafe] ANN: hmpfr-0.3.2 (requires integer-simple, supports mpfr 3.0.0)

2011-03-03 Thread Michal Konečný
Dear all, I am pleased to announce hmpfr-0.3.2, a new version of Aleš Bizjak's bindings to the MPFR arbitrary precision floating point arithmetic library. The changes in this version are quite small but significant: - support for MPFR 3.0.0 as well as MPFR 2.4.* - dependency on integer-simple