idris-lang/Idris-dev — pull request #1735 by Melvar (2014-11-20 20:00:55+00:00)
Title: Fix error in rndInt making lower bound ineffective

Apparently `` `foo` `` has lower precedence than `+`.