[Agda] Poll: Mixfix and parametrized modules --- which behavior would you expect

[Nils Anders Danielsson]

On 2012-05-14 08:51, Andreas Abel wrote:
> This could be mended if for fixops we would consider all module
> parameters hidden, whether they are declared as such or not.

I think we should strive for simplicity and avoid special cases like
this. Perhaps you /can/ currently write A + true, but do you?

I think the main problem is that the pretty-printer sometimes writes
A + true. Perhaps we can improve the pretty-printer.

-- 
/NAD