#7488: Promotion of newtypes
---+
Reporter: dreixel | Owner:
Type: bug | Status: closed
Priority: normal| Milestone:
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
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 inside moduloBasisx, as suggested in
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 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
#7513: ghc panic in kindFunResult
-+--
Reporter: ifigueroap| Owner:
Type: bug | Status: infoneeded
Priority: normal| Milestone:
#7513: ghc panic in kindFunResult
-+--
Reporter: ifigueroap| Owner:
Type: bug | Status: infoneeded
Priority: normal| Milestone:
#7488: Promotion of newtypes
---+
Reporter: dreixel | Owner:
Type: bug | Status: closed
Priority: normal| Milestone:
#7515: reinitializeGlobals doesn't reinitialize dynamic flags
---+
Reporter: danielv | Owner:
Type: bug | Status: closed
Priority: normal
Copying to the `bugs' list:
On Fri, Dec 21, 2012 at 12:12:09PM +, Simon Peyton-Jones wrote:
sigh. i suppose I have to reproduce it. I have only docon2.12-pre, and I get
make build
runghc Setup.hs build
Building docon-2.12...
Preprocessing library docon-2.12...
on the commandline:
#7513: ghc panic in kindFunResult
---+
Reporter: ifigueroap| Owner:
Type: bug | Status: closed
Priority: normal| Milestone:
#7162: RULES that never fire (automatically)
---+
Reporter: andygill | Owner:
Type: feature request | Status: closed
Priority: normal|
#7436: Derived Foldable and Traversable instances become extremely inefficient
due
to eta-expansion
-+--
Reporter: shachaf | Owner:
Type: bug | Status:
#7360: Case-of-identical-alts optimisation fails abjectly
-+--
Reporter: simonpj | Owner:
Type: bug | Status: new
Priority: normal
#7520: Implement cardinality analysis
-+--
Reporter: simonpj | Owner:
Type: bug | Status: new
Priority: normal| Milestone:
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
#7361: Segmentation fault on 5f37e0c71ff4af8539c5aebc739b006b4f0c6ebf
-+--
Reporter: bgamari | Owner: simonmar
Type: bug | Status: new
Priority:
#7521: Simplifier ticks exhausted when compiling Accelerate example.
---+
Reporter: eamsden | Owner:
Type: bug | Status: new
Priority: normal
#7505: Commentary shipped with GHC sources is outdated
--+-
Reporter: jstolarek | Owner:
Type: bug| Status: new
Priority: normal |
20 matches
Mail list logo
