idris-lang/Idris-dev — pull request #1259 by mrb (2014-05-27 00:17:59+00:00)
Title: Warn on unknown operator for missing calls in REPL

Print error for unknown operator when called with missing #1257