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

[lomeo]

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

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

Запускал в GHCi 6.6

Comments

[justbulat.livejournal.com]

ещё 6.6.1 не вышел :D

[thesz.livejournal.com]

C:\...менты\Downloads\seen\SPARC\plans>ghc -v
Glasgow Haskell Compiler, Version 6.6.20061017, for Haskell 98, compiled by GHC
version 6.6.20061017
Using package config file: C:\ghc\ghc-6.6.20061224\package.conf
wired-in package base mapped to base-2.0
wired-in package rts mapped to rts-1.0
wired-in package haskell98 mapped to haskell98-1.0
wired-in package template-haskell mapped to template-haskell-2.0
Hsc static flags: -static
*** Deleting temp files:
Deleting:
*** Deleting temp dirs:
Deleting:
ghc.EXE: no input files
Usage: For basic information, try the `--help' option.

Вот. ;)

[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]

Видать.

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