idris-lang/Idris-dev — pull request #629 by david-christiansen (2013-11-19 11:55:07+00:00)
Title: Don't allow definition of infix funcitons without a fixity declaration

Missing fixity declarations for infix operator functions is now a parser error

Fixes #617.