[Haskell-cafe] Higher-order unification

Simon Peyton-Jones simonpj at microsoft.com
Wed Sep 1 03:53:56 EDT 2004

| Yeah, here's a program which causes GHC to hang on compilation, but
| causes no problem for hugs.  Does this qualify as higher-order
| newtype X a = X (X a -> a)
| selfapp :: X a -> a
| selfapp self@(X f) = f self

It's a documented bug in GHC.  
Nothing to do with h-o unification


More information about the Haskell-Cafe mailing list