-haskell-bugs@haskell.org
| Subject: Re: DoCon and GHC
|
| On Fri, Dec 21, 2012 at 01:45:04PM +, Simon Peyton-Jones wrote:
| OK, do this
|
| * {-# LANGUAGE ScopedTypeVariables, MonoLocalBinds #-}
|
| * import Categs( Domains1 )
|
| * Add type sig for dP'
| dP' :: (LinSolvRing (Pol
On Thu, Dec 20, 2012 at 07:57:45PM +, Simon Peyton-Jones wrote:
| It looks like http://hackage.haskell.org
|
| is not valid now. Is this due to the recently announced e-mail lists
| reorganization?
It's working fine for me. No reorganisation there.
Simon
Today it is
On Wed, Jun 20, 2012 at 04:56:01PM +, Simon Peyton-Jones wrote:
Serge
I hope you are well.
I'm making a significant simplification to the type inference engine,
which will have a small knock-on effect in DoCon.
I implemented a VERY DELICATE HACK to solve your problem before, but it
: DoCon and GHC
|
| On Wed, Jun 20, 2012 at 04:56:01PM +, Simon Peyton-Jones wrote:
| Serge
|
| I hope you are well.
|
| I'm making a significant simplification to the type inference engine,
| which will have a small knock-on effect in DoCon.
|
| I implemented a VERY DELICATE HACK
On Fri, Dec 21, 2012 at 10:12:38AM +, Simon Peyton-Jones wrote:
I would not use -XMonoLocalBinds for all modules -- that will force you to do
more work.
Instead use it just for the offending Pol3_ module, via {-# LANGUAGE
MonoLocalBinds #-}
Or, probably better, give a type signature
On Fri, Dec 21, 2012 at 11:26:30AM +, Simon Peyton-Jones wrote:
I think you need to remove the 'forall a' on the type signature for dP'.
The 'a' you mean is the 'a' from the instance declaration, not a
completely fresh 'a'.
This looks reasonable.
Moreover I don't think you need the
On Fri, Dec 21, 2012 at 01:45:04PM +, Simon Peyton-Jones wrote:
OK, do this
* {-# LANGUAGE ScopedTypeVariables, MonoLocalBinds #-}
* import Categs( Domains1 )
* Add type sig for dP'
dP' :: (LinSolvRing (Pol a), CommutativeRing a) = Domains1 (Pol a)
Then it compiles.
You
On Wed, Jun 20, 2012 at 04:56:01PM +, Simon Peyton-Jones wrote:
Serge
I hope you are well.
I'm making a significant simplification to the type inference engine,
which will have a small knock-on effect in DoCon.
I implemented a VERY DELICATE HACK to solve your problem before, but it
| It looks like http://hackage.haskell.org
|
| is not valid now. Is this due to the recently announced e-mail lists
| reorganization?
It's working fine for me. No reorganisation there.
Simon
___
Glasgow-haskell-bugs mailing list