Re: [Haskell-cafe] converting functional dependencies to type families

2012-06-11 Thread Henning Thielemann
On Mon, 11 Jun 2012, Simon Peyton-Jones wrote: Thanks. I've linked to it from http://www.haskell.org/haskellwiki/GHC/Type_families#Frequently_asked_questions Thank you! I already added this and another link to a new "See also" section below. Which one shall we maintain? __

Re: [Haskell-cafe] converting functional dependencies to type families

2012-06-11 Thread Simon Peyton-Jones
Thanks. I've linked to it from http://www.haskell.org/haskellwiki/GHC/Type_families#Frequently_asked_questions | -Original Message- | From: Henning Thielemann [mailto:lemm...@henning-thielemann.de] | Sent: 10 June 2012 15:14 | To: Simon Peyton-Jones | Cc: Haskell Cafe | Subject: RE: conv

Re: [Haskell-cafe] converting functional dependencies to type families

2012-06-10 Thread Henning Thielemann
On Thu, 7 Jun 2012, Simon Peyton-Jones wrote: Very useful! Maybe worth turning into a page on the Haskell wiki? I created one: http://www.haskell.org/haskellwiki/Functional_dependencies_vs._type_families ___ Haskell-Cafe mailing list Haskell-Caf

[Haskell-cafe] converting functional dependencies to type families

2012-06-05 Thread Henning Thielemann
Hi all, when I reported a typechecker performance problem related to functional dependencies http://hackage.haskell.org/trac/ghc/ticket/5970 I promised to try to convert from functional dependencies to type families. Thus I converted my code and the llvm package to type-families: htt