On Fri, Jul 16, 2010 at 08:36:46AM -0700, Corey O'Connor wrote:
On Wed, Jul 14, 2010 at 4:42 PM, Thomas Schilling
nomin...@googlemail.com wrote:
This solver is currently being implemented in GHC (there's a branch on
darcs.h.o), but correctness comes first. It'll probably take a while
On Thu, Jul 15, 2010 at 12:57 AM, Simon Peyton-Jones
simo...@microsoft.com wrote:
Corey
| On 14 July 2010 18:39, Corey O'Connor coreyocon...@gmail.com wrote:
| I believe I have run headlong into issue #3064 in ghc
| (http://hackage.haskell.org/trac/ghc/ticket/3064). All I think I know
|
On Wed, Jul 14, 2010 at 4:42 PM, Thomas Schilling
nomin...@googlemail.com wrote:
This solver is currently being implemented in GHC (there's a branch on
darcs.h.o), but correctness comes first. It'll probably take a while
until this new solver becomes efficient.
Is this the URL of the branch?
Corey
| On 14 July 2010 18:39, Corey O'Connor coreyocon...@gmail.com wrote:
| I believe I have run headlong into issue #3064 in ghc
| (http://hackage.haskell.org/trac/ghc/ticket/3064). All I think I know
| is this:
| * this is a performance issue with the system used to solve type
|
On Wed, Jul 14, 2010 at 4:42 PM, Thomas Schilling
nomin...@googlemail.com wrote:
The latest work is OutsideIn(X):
http://www.haskell.org/haskellwiki/Simonpj/Talk:OutsideIn
This is quite long paper. It describes a framework for
constraint-based type inference and then instantiates it with a
On Thu, Jul 15, 2010 at 12:42:41AM +0100, Thomas Schilling wrote:
simplifications are possible. To make this efficient, the solver also
regularly canonicalises constraints. E.g., function symbols go to the
left and constructors to the right.
One minor correction: the canonicalisation of
I believe I have run headlong into issue #3064 in ghc
(http://hackage.haskell.org/trac/ghc/ticket/3064). All I think I know
is this:
* this is a performance issue with the system used to solve type constraints.
* the solver is undergoing an overhaul to resolve performance issues
in addition to
The latest work is OutsideIn(X):
http://www.haskell.org/haskellwiki/Simonpj/Talk:OutsideIn
This is quite long paper. It describes a framework for
constraint-based type inference and then instantiates it with a
constraint solver that supports type families, GADTs and type classes.