MiniAgda-0.2025.7.23: test/fail/NonLinearPatterns.err

--- opening "NonLinearPatterns.ma" ---
--- scope checking ---
scope check error: nonlin
/// pattern not linear: X