Agda-2.3.2.2: test/fail/Issue555.agda
-- Andreas, 2012-01-13, error reported by Rob Simmons module Issue555 where data Exp : Set data Exp Γ where -- internal error
-- Andreas, 2012-01-13, error reported by Rob Simmons module Issue555 where data Exp : Set data Exp Γ where -- internal error