MiniAgda-0.2014.1.9: test/fail/ShadowPatternParameter.ma

-- 2013-04-06

data Nat { zero ; suc (n : Nat) }

data D (n : Nat)
{ c (n : Nat) : D (suc n)
}