id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
2360	More information in occurs check message	ajd	chak	"{{{
$ cat A.hs
module A
  where

foo :: [a] -> a
foo = id
$ ghc -c A.hs

A.hs:5:0:
    Occurs check: cannot construct the infinite type: a = [a]
    When generalising the type(s) for `foo'
}}}
It would be nice if GHC could give more information about where and how the error is being generated, for example which expressions are making it try to unify a and [a]. (Especially in more complicated functions, it can be difficult to track down the bug.)"	feature request	closed	low	7.4.1	Compiler	6.8.2	fixed		claus rwbarton	Unknown/Multiple	Unknown/Multiple	None/Unknown	Unknown