MiniAgda-0.2025.7.23: test/fail/loopTypesHiddenInData.err

--- opening "loopTypesHiddenInData.ma" ---
--- scope checking ---