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