idris-1.3.3: test/sugar004/expected.out

No arguments!
Not an integer!
42
Too many arguments!