MiniAgda-0.2014.1.9: test/fail/loopTypesHiddenInData.err

MiniAgda by Andreas Abel and Karl Mehltretter
--- opening "loopTypesHiddenInData.ma" ---
--- scope checking ---