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) = ()
is not straightforward.)
Kind regards,
Michal
On 22/12/2011 22:58, Michal Konečný wrote:
> > I think the following concrete changes would be required in the GHC
> > distribution:
> >
> > (a) make a ghc build always use the bundled GMP
> >
> > (b) apply a rena
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
Sa
