cember 2012 18:46
| To: Simon Peyton-Jones
| Cc: glasgow-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
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.
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 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 signat
: 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 imp
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,
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 i
| 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
Glasgow-haskell
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,