MiniAgda-0.2014.1.9: test/fail/absurdPatUnit.ma

-- Absurd pattern used on non-empty type

data Unit : Set
{ unit : Unit }

fun bla : Unit -> Set
{ bla ()
}