idris-0.9.19.1: test/effects005/expected

WARN : Doing the double with 3
6
8
WARN : ["NumOPS"] : Doing the double with 3
6