idris-1.3.3: test/effects005/expected.out

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