MiniAgda-0.2022.3.11: test/fail/absurdPatUnit.ma

-- Absurd pattern used on non-empty type

data Unit : Set
{ unit : Unit }

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