idris-1.2.0: test/basic025/input

:x atan2   1    1
:x atan2 (-1)   1
:x atan2   1  (-1)
:x atan2 (-1) (-1)

:x atan2 0 1
:x atan2 1 0