Agda-2.3.2.2: test/fail/Issue308a.err
Issue308a.agda:6,18-18 Issue308a.agda:6,18: malformed syntax declaration: syntax must alternate holes and non-holes x<ERROR> f : D → D f x = d d x ...
Issue308a.agda:6,18-18 Issue308a.agda:6,18: malformed syntax declaration: syntax must alternate holes and non-holes x<ERROR> f : D → D f x = d d x ...