idris-1.3.0: test/interpret003/expected

Compiled program terminated with exit code 1