Вывод типов всегда завершается, говорите?

[lomeo]

Вот здесь у меня висит на выводе типа myFix:

newtype Fun a = Fun (Fun a -> a)
 
fun x@(Fun f) = f x
 
myFix = fun (Fun fun)

Запускал в GHCi 6.6

Comments

[deni-ok.livejournal.com]

Эээ... Может это год 2006?


We are aiming for a 6.6.1 release candidate on the 6th April, and release on the 20th April.

отсюда http://hackage.haskell.org/trac/ghc

[thesz.livejournal.com]

Видать.

У меня уже голова не варит.