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

[lomeo]

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

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

Запускал в GHCi 6.6

Comments

[thesz.livejournal.com]

module A where

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

Компилирую 'ghc -ddump-tc -c a.hs'. Тайпчекер выводит все правильно.

Может, это где-то еще?

[lomeo.livejournal.com]

Наверное в моем компилере бага.
Кстати, если делаю -ddump-tc, то выводит типы верно, а потом опять подвисает.
Попробую переставить GHC, но позже.

Спасибо!

[thesz.livejournal.com]

Забыл дополнить - у меня тоже 6.6.2 и тоже виснет.

Сейчас заменил newtype на data - все равно виснет.

Похоже, все же tc.

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

Видать.

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

[migmit.livejournal.com]

Какая версия ghc? У меня, опять-таки, виснет.

[thesz.livejournal.com]

6.6.2, тоже виснет, но типы выводит правильные (судя по -ddump-tc).

[migmit.livejournal.com]

Ну дык так бы сразу и сказал. У всех так.

[thesz.livejournal.com]

А непонятно, почему.

Я даже сигнатуры указал, все равно виснет.