[Agda-dev] What does it mean to assign a fixity to an atom?

[Nils Anders Danielsson]

On 2015-07-24 10:55, Andreas Abel wrote:
> Why is the following not an error?  What is the semantics of the fixity of an atom?
>
> postulate X : Set
>
> infix 42 X

The notation above is used to give a fixity to a syntax-declared
notation. I don't think it should be allowed when there is no
accompanying syntax declaration:

   https://github.com/agda/agda/issues/1438

-- 
/NAD