MiniAgda-0.2025.7.23: test/fail/NotEnoughParameters.err

--- opening "NotEnoughParameters.ma" ---
--- scope checking ---
scope check error: D
/// c
/// constructor c: target (D A) is missing parameters