[commit: ghc] type-nats: Current implementation of type-nats solver. (b7ea7df)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : type-nats
Link       : http://ghc.haskell.org/trac/ghc/changeset/b7ea7df180fcab6ddc88749132c50739069a8acb/ghc

>---------------------------------------------------------------

commit b7ea7df180fcab6ddc88749132c50739069a8acb
Merge: d1abc67 a031506
Author: Iavor S. Diatchki <iavor.diatchki at gmail.com>
Date:   Sun Sep 1 14:30:59 2013 -0700

    Current implementation of type-nats solver.



>---------------------------------------------------------------

b7ea7df180fcab6ddc88749132c50739069a8acb