id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
3484	GHC diverges when proving nonequality of types	ryani		"Conor posted an interesting suggestion for proving type non-equality here:

http://www.nabble.com/Re%3A-Is-it-possible-to-prove-type-*non*-equality-in-Haskell--p25153135.html

I implemented it on my Nat framework and got GHC to diverge:
{{{
C:\haskell>ghc -c Absurd.hs
stack overflow: use +RTS -K<size> to increase it
}}}

I've attempted to shrink the code as much as possible and still reproduce the error; attached is the result."	bug	closed	low	7.0.1	Compiler	6.10.4	fixed			Unknown/Multiple	Unknown/Multiple	None/Unknown	Unknown	typecheck/indexed-types/T3484