MiniAgda-0.2014.1.9: test/fail/hang2.ma

data Empty : Set
{
}

mutual 
{

fun F : Empty -> Empty
{
F x = F x
}

-- should this scope check ? 
fun f  : Empty -> Empty
{
f x = f (F x)
}

}